About the Execution of 2018-Gold for Peterson-PT-6
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3179.950 | 3570508.00 | 3648892.00 | 474.10 | 7 7 7 7 7 7 6 6 ? ? 1 1 1 1 ? ? | normal |
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-155272242400187.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-6, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242400187
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 65K Feb 12 04:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 180K Feb 12 04:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 54K Feb 8 03:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 176K Feb 8 03:29 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 47K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 32K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 111K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 125K Feb 4 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 331K Feb 4 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 83K Feb 1 02:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 274K Feb 1 02:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 27K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 54K 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 1.5M 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-6-UpperBounds-00
FORMULA_NAME Peterson-PT-6-UpperBounds-01
FORMULA_NAME Peterson-PT-6-UpperBounds-02
FORMULA_NAME Peterson-PT-6-UpperBounds-03
FORMULA_NAME Peterson-PT-6-UpperBounds-04
FORMULA_NAME Peterson-PT-6-UpperBounds-05
FORMULA_NAME Peterson-PT-6-UpperBounds-06
FORMULA_NAME Peterson-PT-6-UpperBounds-07
FORMULA_NAME Peterson-PT-6-UpperBounds-08
FORMULA_NAME Peterson-PT-6-UpperBounds-09
FORMULA_NAME Peterson-PT-6-UpperBounds-10
FORMULA_NAME Peterson-PT-6-UpperBounds-11
FORMULA_NAME Peterson-PT-6-UpperBounds-12
FORMULA_NAME Peterson-PT-6-UpperBounds-13
FORMULA_NAME Peterson-PT-6-UpperBounds-14
FORMULA_NAME Peterson-PT-6-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1553042757199
info: Time: 3600 - MCC
===========================================================================================
prep: translating Peterson-PT-6 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Peterson-PT-6 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Peterson-PT-6 @ 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: 3360/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: Size of bit vector: 42560
lola: finding significant places
lola: 1330 places, 2030 transitions, 1303 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3129 transition conflict sets
lola: TASK
lola: reading formula from Peterson-PT-6-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_1_6 + Turn_0_6 + Turn_5_6 + Turn_4_6 + Turn_3_6 + Turn_2_6 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: place invariant simplifies atomic proposition
lola: before: (Turn_2_0 + Turn_2_1 + Turn_2_2 + Turn_2_3 + Turn_2_4 + Turn_2_5 + Turn_3_0 + Turn_3_1 + Turn_3_2 + Turn_3_3 + Turn_3_4 + Turn_3_5 + Turn_4_0 + Turn_4_1 + Turn_4_2 + Turn_4_3 + Turn_4_4 + Turn_4_5 + Turn_5_0 + Turn_5_1 + Turn_5_2 + Turn_5_3 + Turn_5_4 + Turn_5_5 + Turn_0_0 + Turn_0_1 + Turn_0_2 + Turn_0_3 + Turn_0_4 + Turn_0_5 + Turn_1_0 + Turn_1_1 + Turn_1_2 + Turn_1_3 + Turn_1_4 + Turn_1_5 + Turn_1_6 + Turn_0_6 + Turn_5_6 + Turn_4_6 + Turn_3_6 + Turn_2_6 <= 0)
lola: after: (6 <= 0)
lola: always false
lola: 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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_5_2_0 + IsEndLoop_5_2_1 + IsEndLoop_5_2_2 + IsEndLoop_5_2_3 + IsEndLoop_5_2_4 + IsEndLoop_5_2_5 + 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_5_2_6) : MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6) : MAX(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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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) : MAX(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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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_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) : MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3 + TestIdentity_3_5_4 + TestIdentity_3_5_5 + TestIdentity_3_5_6 + TestIdentity_1_1_0 + TestIdentity_1_1_1 + TestIdentity_1_1_2 + TestIdentity_1_1_3 + TestIdentity_1_1_4 + TestIdentity_1_1_5 + TestIdentity_1_1_6 + TestIdentity_3_4_4 + TestIdentity_6_4_0 + TestIdentity_6_4_1 + TestIdentity_6_4_2 + TestIdentity_6_4_3 + TestIdentity_6_4_4 + TestIdentity_6_4_5 + TestIdentity_6_4_6 + TestIdentity_4_0_0 + TestIdentity_4_0_1 + TestIdentity_4_0_2 + TestIdentity_4_0_3 + TestIdentity_4_0_4 + TestIdentity_4_0_5 + TestIdentity_4_0_6 + TestIdentity_1_2_0 + TestIdentity_1_2_1 + TestIdentity_1_2_2 + TestIdentity_1_2_3 + TestIdentity_1_2_4 + TestIdentity_1_2_5 + TestIdentity_1_2_6 + TestIdentity_3_4_3 + TestIdentity_6_5_0 + TestIdentity_6_5_1 + TestIdentity_6_5_2 + TestIdentity_6_5_3 + TestIdentity_6_5_4 + TestIdentity_6_5_5 + TestIdentity_6_5_6 + TestIdentity_4_1_0 + TestIdentity_4_1_1 + TestIdentity_4_1_2 + TestIdentity_4_1_3 + TestIdentity_4_1_4 + TestIdentity_4_1_5 + TestIdentity_4_1_6 + TestIdentity_1_3_0 + TestIdentity_1_3_1 + TestIdentity_1_3_2 + TestIdentity_1_3_3 + TestIdentity_1_3_4 + TestIdentity_1_3_5 + TestIdentity_1_3_6 + TestIdentity_3_4_2 + TestIdentity_4_2_0 + TestIdentity_4_2_1 + TestIdentity_4_2_2 + TestIdentity_4_2_3 + TestIdentity_4_2_4 + TestIdentity_4_2_5 + TestIdentity_4_2_6 + TestIdentity_1_4_0 + TestIdentity_1_4_1 + TestIdentity_1_4_2 + TestIdentity_1_4_3 + TestIdentity_1_4_4 + TestIdentity_1_4_5 + TestIdentity_1_4_6 + TestIdentity_4_3_0 + TestIdentity_4_3_1 + TestIdentity_4_3_2 + TestIdentity_4_3_3 + TestIdentity_4_3_4 + TestIdentity_4_3_5 + TestIdentity_4_3_6 + TestIdentity_1_5_0 + TestIdentity_1_5_1 + TestIdentity_1_5_2 + TestIdentity_1_5_3 + TestIdentity_1_5_4 + TestIdentity_1_5_5 + TestIdentity_1_5_6 + TestIdentity_4_4_0 + TestIdentity_4_4_1 + TestIdentity_4_4_2 + TestIdentity_4_4_3 + TestIdentity_4_4_4 + TestIdentity_4_4_5 + TestIdentity_4_4_6 + TestIdentity_2_0_0 + TestIdentity_2_0_1 + TestIdentity_2_0_2 + TestIdentity_2_0_3 + TestIdentity_2_0_4 + TestIdentity_2_0_5 + TestIdentity_2_0_6 + TestIdentity_4_5_0 + TestIdentity_4_5_1 + TestIdentity_4_5_2 + TestIdentity_4_5_3 + TestIdentity_4_5_4 + TestIdentity_4_5_5 + TestIdentity_4_5_6 + TestIdentity_2_1_0 + TestIdentity_2_1_1 + TestIdentity_2_1_2 + TestIdentity_2_1_3 + TestIdentity_2_1_4 + TestIdentity_2_1_5 + TestIdentity_2_1_6 + TestIdentity_3_4_1 + TestIdentity_3_4_0 + TestIdentity_5_0_0 + TestIdentity_5_0_1 + TestIdentity_5_0_2 + TestIdentity_5_0_3 + TestIdentity_5_0_4 + TestIdentity_5_0_5 + TestIdentity_5_0_6 + TestIdentity_2_2_0 + TestIdentity_2_2_1 + TestIdentity_2_2_2 + TestIdentity_2_2_3 + TestIdentity_2_2_4 + TestIdentity_2_2_5 + TestIdentity_2_2_6 + TestIdentity_5_1_0 + TestIdentity_5_1_1 + TestIdentity_5_1_2 + TestIdentity_5_1_3 + TestIdentity_5_1_4 + TestIdentity_5_1_5 + TestIdentity_5_1_6 + TestIdentity_2_3_0 + TestIdentity_2_3_1 + TestIdentity_2_3_2 + TestIdentity_2_3_3 + TestIdentity_2_3_4 + TestIdentity_2_3_5 + TestIdentity_2_3_6 + TestIdentity_5_2_0 + TestIdentity_5_2_1 + TestIdentity_5_2_2 + TestIdentity_5_2_3 + TestIdentity_5_2_4 + TestIdentity_5_2_5 + TestIdentity_5_2_6 + TestIdentity_2_4_0 + TestIdentity_2_4_1 + TestIdentity_2_4_2 + TestIdentity_2_4_3 + TestIdentity_2_4_4 + TestIdentity_2_4_5 + TestIdentity_2_4_6 + TestIdentity_0_0_0 + TestIdentity_0_0_1 + TestIdentity_0_0_2 + TestIdentity_0_0_3 + TestIdentity_0_0_4 + TestIdentity_0_0_5 + TestIdentity_0_0_6 + TestIdentity_5_3_0 + TestIdentity_5_3_1 + TestIdentity_5_3_2 + TestIdentity_5_3_3 + TestIdentity_5_3_4 + TestIdentity_5_3_5 + TestIdentity_5_3_6 + TestIdentity_2_5_0 + TestIdentity_2_5_1 + TestIdentity_2_5_2 + TestIdentity_2_5_3 + TestIdentity_2_5_4 + TestIdentity_2_5_5 + TestIdentity_2_5_6 + TestIdentity_0_1_0 + TestIdentity_0_1_1 + TestIdentity_0_1_2 + TestIdentity_0_1_3 + TestIdentity_0_1_4 + TestIdentity_0_1_5 + TestIdentity_0_1_6 + TestIdentity_5_4_0 + TestIdentity_5_4_1 + TestIdentity_5_4_2 + TestIdentity_5_4_3 + TestIdentity_5_4_4 + TestIdentity_5_4_5 + TestIdentity_5_4_6 + TestIdentity_3_0_0 + TestIdentity_3_0_1 + TestIdentity_3_0_2 + TestIdentity_3_0_3 + TestIdentity_3_0_4 + TestIdentity_3_0_5 + TestIdentity_3_0_6 + TestIdentity_0_2_0 + TestIdentity_0_2_1 + TestIdentity_0_2_2 + TestIdentity_0_2_3 + TestIdentity_0_2_4 + TestIdentity_0_2_5 + TestIdentity_0_2_6 + TestIdentity_5_5_0 + TestIdentity_5_5_1 + TestIdentity_5_5_2 + TestIdentity_5_5_3 + TestIdentity_5_5_4 + TestIdentity_5_5_5 + TestIdentity_5_5_6 + TestIdentity_3_1_0 + TestIdentity_3_1_1 + TestIdentity_3_1_2 + TestIdentity_3_1_3 + TestIdentity_3_1_4 + TestIdentity_3_1_5 + TestIdentity_3_1_6 + TestIdentity_0_3_0 + TestIdentity_0_3_1 + TestIdentity_0_3_2 + TestIdentity_0_3_3 + TestIdentity_0_3_4 + TestIdentity_0_3_5 + TestIdentity_0_3_6 + TestIdentity_6_2_5 + TestIdentity_6_2_4 + TestIdentity_6_0_0 + TestIdentity_6_0_1 + TestIdentity_6_0_2 + TestIdentity_6_0_3 + TestIdentity_6_0_4 + TestIdentity_6_0_5 + TestIdentity_6_0_6 + TestIdentity_3_2_0 + TestIdentity_3_2_1 + TestIdentity_3_2_2 + TestIdentity_3_2_3 + TestIdentity_3_2_4 + TestIdentity_3_2_5 + TestIdentity_3_2_6 + TestIdentity_0_4_0 + TestIdentity_0_4_1 + TestIdentity_0_4_2 + TestIdentity_0_4_3 + TestIdentity_0_4_4 + TestIdentity_0_4_5 + TestIdentity_0_4_6 + TestIdentity_6_2_3 + TestIdentity_6_1_0 + TestIdentity_6_1_1 + TestIdentity_6_1_2 + TestIdentity_6_1_3 + TestIdentity_6_1_4 + TestIdentity_6_1_5 + TestIdentity_6_1_6 + TestIdentity_3_3_0 + TestIdentity_3_3_1 + TestIdentity_3_3_2 + TestIdentity_3_3_3 + TestIdentity_3_3_4 + TestIdentity_3_3_5 + TestIdentity_3_3_6 + TestIdentity_0_5_0 + TestIdentity_0_5_1 + TestIdentity_0_5_2 + TestIdentity_0_5_3 + TestIdentity_0_5_4 + TestIdentity_0_5_5 + TestIdentity_0_5_6 + TestIdentity_6_2_2 + TestIdentity_6_2_1 + TestIdentity_6_2_0 + TestIdentity_6_2_6 + TestIdentity_3_4_6) : MAX(AskForSection_5_0 + AskForSection_5_1 + AskForSection_5_2 + AskForSection_5_3 + AskForSection_5_4 + AskForSection_5_5 + AskForSection_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_0_4 + AskForSection_0_5 + AskForSection_1_0 + AskForSection_1_1 + AskForSection_1_2 + AskForSection_1_3 + AskForSection_1_4 + AskForSection_1_5 + AskForSection_2_0 + AskForSection_2_1 + AskForSection_2_2 + AskForSection_2_3 + AskForSection_2_4 + AskForSection_2_5 + AskForSection_3_0 + AskForSection_3_1 + AskForSection_3_2 + AskForSection_3_3 + AskForSection_3_4 + AskForSection_3_5 + AskForSection_4_0 + AskForSection_4_1 + AskForSection_4_2 + AskForSection_4_3 + AskForSection_4_4 + AskForSection_4_5) : MAX(0) : MAX(0) : MAX(TestIdentity_5_3_3) : MAX(BeginLoop_3_5_3) : MAX(BeginLoop_1_0_0) : MAX(BeginLoop_4_0_3) : MAX(Turn_5_1) : MAX(Turn_1_1) : MAX(TestIdentity_0_1_6) : MAX(BeginLoop_5_1_6)
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-6-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-6 6 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(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-6-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: 6
lola: SUBRESULT
lola: result: 6
lola: produced by: state space
lola: The maximum value of the given expression is 6
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-7 6 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(TestIdentity_5_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestIdentity_5_3_3)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 86942 markings, 238024 edges, 17388 markings/sec, 0 secs
lola: 175192 markings, 507529 edges, 17650 markings/sec, 5 secs
lola: 260543 markings, 779399 edges, 17070 markings/sec, 10 secs
lola: 345640 markings, 1049263 edges, 17019 markings/sec, 15 secs
lola: 427697 markings, 1325034 edges, 16411 markings/sec, 20 secs
lola: 506498 markings, 1609419 edges, 15760 markings/sec, 25 secs
lola: 586128 markings, 1897803 edges, 15926 markings/sec, 30 secs
lola: 657881 markings, 2239979 edges, 14351 markings/sec, 35 secs
lola: 724634 markings, 2610399 edges, 13351 markings/sec, 40 secs
lola: 790177 markings, 2976193 edges, 13109 markings/sec, 45 secs
lola: 858357 markings, 3349191 edges, 13636 markings/sec, 50 secs
lola: 927935 markings, 3725928 edges, 13916 markings/sec, 55 secs
lola: 992940 markings, 4104888 edges, 13001 markings/sec, 60 secs
lola: 1058708 markings, 4471543 edges, 13154 markings/sec, 65 secs
lola: 1125869 markings, 4838049 edges, 13432 markings/sec, 70 secs
lola: 1191690 markings, 5207935 edges, 13164 markings/sec, 75 secs
lola: 1256218 markings, 5589601 edges, 12906 markings/sec, 80 secs
lola: 1324221 markings, 5958498 edges, 13601 markings/sec, 85 secs
lola: 1402090 markings, 6339866 edges, 15574 markings/sec, 90 secs
lola: 1467346 markings, 6709278 edges, 13051 markings/sec, 95 secs
lola: 1532959 markings, 7080090 edges, 13123 markings/sec, 100 secs
lola: 1595410 markings, 7472292 edges, 12490 markings/sec, 105 secs
lola: 1658635 markings, 7834834 edges, 12645 markings/sec, 110 secs
lola: 1721658 markings, 8199307 edges, 12605 markings/sec, 115 secs
lola: 1786501 markings, 8560216 edges, 12969 markings/sec, 120 secs
lola: 1849228 markings, 8920069 edges, 12545 markings/sec, 125 secs
lola: 1910840 markings, 9299511 edges, 12322 markings/sec, 130 secs
lola: 1977263 markings, 9659628 edges, 13285 markings/sec, 135 secs
lola: 2043339 markings, 10013945 edges, 13215 markings/sec, 140 secs
lola: 2108228 markings, 10378990 edges, 12978 markings/sec, 145 secs
lola: 2173065 markings, 10746314 edges, 12967 markings/sec, 150 secs
lola: 2260045 markings, 11120652 edges, 17396 markings/sec, 155 secs
lola: 2322903 markings, 11489480 edges, 12572 markings/sec, 160 secs
lola: 2389115 markings, 11846971 edges, 13242 markings/sec, 165 secs
lola: 2453156 markings, 12211122 edges, 12808 markings/sec, 170 secs
lola: 2515548 markings, 12581067 edges, 12478 markings/sec, 175 secs
lola: 2576693 markings, 12957357 edges, 12229 markings/sec, 180 secs
lola: 2636885 markings, 13339930 edges, 12038 markings/sec, 185 secs
lola: 2700184 markings, 13707230 edges, 12660 markings/sec, 190 secs
lola: 2762079 markings, 14072103 edges, 12379 markings/sec, 195 secs
lola: 2822630 markings, 14437683 edges, 12110 markings/sec, 200 secs
lola: 2885608 markings, 14801336 edges, 12596 markings/sec, 205 secs
lola: 2948490 markings, 15162757 edges, 12576 markings/sec, 210 secs
lola: 3012152 markings, 15530174 edges, 12732 markings/sec, 215 secs
lola: 3075280 markings, 15892851 edges, 12626 markings/sec, 220 secs
lola: 3136624 markings, 16256201 edges, 12269 markings/sec, 225 secs
lola: 3200062 markings, 16627832 edges, 12688 markings/sec, 230 secs
lola: 3267119 markings, 16977480 edges, 13411 markings/sec, 235 secs
lola: 3332413 markings, 17339111 edges, 13059 markings/sec, 240 secs
lola: 3397001 markings, 17705988 edges, 12918 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 6 6 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 436604 KB
lola: time consumption: 255 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_3_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_3_5_3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 85019 markings, 232767 edges, 17004 markings/sec, 0 secs
lola: 170553 markings, 486137 edges, 17107 markings/sec, 5 secs
lola: 254908 markings, 751708 edges, 16871 markings/sec, 10 secs
lola: 337703 markings, 1024500 edges, 16559 markings/sec, 15 secs
lola: 419201 markings, 1296939 edges, 16300 markings/sec, 20 secs
lola: 498382 markings, 1583043 edges, 15836 markings/sec, 25 secs
lola: 578239 markings, 1869567 edges, 15971 markings/sec, 30 secs
lola: 650354 markings, 2199131 edges, 14423 markings/sec, 35 secs
lola: 717684 markings, 2562022 edges, 13466 markings/sec, 40 secs
lola: 781359 markings, 2929411 edges, 12735 markings/sec, 45 secs
lola: 844944 markings, 3284695 edges, 12717 markings/sec, 50 secs
lola: 914892 markings, 3651655 edges, 13990 markings/sec, 55 secs
lola: 978232 markings, 4015708 edges, 12668 markings/sec, 60 secs
lola: 1040865 markings, 4376876 edges, 12527 markings/sec, 65 secs
lola: 1105709 markings, 4732505 edges, 12969 markings/sec, 70 secs
lola: 1171384 markings, 5087937 edges, 13135 markings/sec, 75 secs
lola: 1232687 markings, 5461993 edges, 12261 markings/sec, 80 secs
lola: 1300008 markings, 5823342 edges, 13464 markings/sec, 85 secs
lola: 1373997 markings, 6194072 edges, 14798 markings/sec, 90 secs
lola: 1441236 markings, 6565886 edges, 13448 markings/sec, 95 secs
lola: 1505857 markings, 6933190 edges, 12924 markings/sec, 100 secs
lola: 1568795 markings, 7305262 edges, 12588 markings/sec, 105 secs
lola: 1631646 markings, 7678986 edges, 12570 markings/sec, 110 secs
lola: 1694158 markings, 8040686 edges, 12502 markings/sec, 115 secs
lola: 1757943 markings, 8401369 edges, 12757 markings/sec, 120 secs
lola: 1821652 markings, 8760650 edges, 12742 markings/sec, 125 secs
lola: 1883180 markings, 9129622 edges, 12306 markings/sec, 130 secs
lola: 1947108 markings, 9501695 edges, 12786 markings/sec, 135 secs
lola: 2013565 markings, 9855603 edges, 13291 markings/sec, 140 secs
lola: 2079771 markings, 10213424 edges, 13241 markings/sec, 145 secs
lola: 2143873 markings, 10578848 edges, 12820 markings/sec, 150 secs
lola: 2227746 markings, 10950895 edges, 16775 markings/sec, 155 secs
lola: 2293931 markings, 11318862 edges, 13237 markings/sec, 160 secs
lola: 2356444 markings, 11679474 edges, 12503 markings/sec, 165 secs
lola: 2422093 markings, 12038437 edges, 13130 markings/sec, 170 secs
lola: 2484273 markings, 12403544 edges, 12436 markings/sec, 175 secs
lola: 2546683 markings, 12768871 edges, 12482 markings/sec, 180 secs
lola: 2606624 markings, 13146362 edges, 11988 markings/sec, 185 secs
lola: 2667278 markings, 13519403 edges, 12131 markings/sec, 190 secs
lola: 2729976 markings, 13881419 edges, 12540 markings/sec, 195 secs
lola: 2789970 markings, 14247699 edges, 11999 markings/sec, 200 secs
lola: 2851238 markings, 14605188 edges, 12254 markings/sec, 205 secs
lola: 2914298 markings, 14964215 edges, 12612 markings/sec, 210 secs
lola: 2976748 markings, 15328544 edges, 12490 markings/sec, 215 secs
lola: 3040147 markings, 15688517 edges, 12680 markings/sec, 220 secs
lola: 3102129 markings, 16051215 edges, 12396 markings/sec, 225 secs
lola: 3162795 markings, 16424195 edges, 12133 markings/sec, 230 secs
lola: 3229312 markings, 16778994 edges, 13303 markings/sec, 235 secs
lola: 3296075 markings, 17128785 edges, 13353 markings/sec, 240 secs
lola: 3359246 markings, 17496391 edges, 12634 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 6 6 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 433592 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(BeginLoop_1_0_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_1_0_0)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 4 markings, 3 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_4_0_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_4_0_3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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-6-UpperBounds-11 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(Turn_5_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Turn_5_1)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 59 markings, 58 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Turn_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Turn_1_1)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 8 markings, 7 edges
FORMULA Peterson-PT-6-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_0_1_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestIdentity_0_1_6)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 91968 markings, 201981 edges, 18394 markings/sec, 0 secs
lola: 180864 markings, 430035 edges, 17779 markings/sec, 5 secs
lola: 260062 markings, 722678 edges, 15840 markings/sec, 10 secs
lola: 343236 markings, 982037 edges, 16635 markings/sec, 15 secs
lola: 420480 markings, 1278776 edges, 15449 markings/sec, 20 secs
lola: 491487 markings, 1619853 edges, 14201 markings/sec, 25 secs
lola: 560459 markings, 1985646 edges, 13794 markings/sec, 30 secs
lola: 628314 markings, 2351566 edges, 13571 markings/sec, 35 secs
lola: 695679 markings, 2715838 edges, 13473 markings/sec, 40 secs
lola: 763369 markings, 3082212 edges, 13538 markings/sec, 45 secs
lola: 829450 markings, 3450622 edges, 13216 markings/sec, 50 secs
lola: 894412 markings, 3820964 edges, 12992 markings/sec, 55 secs
lola: 959576 markings, 4188393 edges, 13033 markings/sec, 60 secs
lola: 1026721 markings, 4557955 edges, 13429 markings/sec, 65 secs
lola: 1093493 markings, 4927326 edges, 13354 markings/sec, 70 secs
lola: 1158562 markings, 5305008 edges, 13014 markings/sec, 75 secs
lola: 1223437 markings, 5677591 edges, 12975 markings/sec, 80 secs
lola: 1290177 markings, 6037187 edges, 13348 markings/sec, 85 secs
lola: 1357636 markings, 6397793 edges, 13492 markings/sec, 90 secs
lola: 1420232 markings, 6769600 edges, 12519 markings/sec, 95 secs
lola: 1484392 markings, 7129388 edges, 12832 markings/sec, 100 secs
lola: 1546675 markings, 7500288 edges, 12457 markings/sec, 105 secs
lola: 1609500 markings, 7865303 edges, 12565 markings/sec, 110 secs
lola: 1673162 markings, 8221732 edges, 12732 markings/sec, 115 secs
lola: 1737464 markings, 8584183 edges, 12860 markings/sec, 120 secs
lola: 1800558 markings, 8950550 edges, 12619 markings/sec, 125 secs
lola: 1863751 markings, 9314985 edges, 12639 markings/sec, 130 secs
lola: 1928177 markings, 9676955 edges, 12885 markings/sec, 135 secs
lola: 1991168 markings, 10055509 edges, 12598 markings/sec, 140 secs
lola: 2054854 markings, 10461979 edges, 12737 markings/sec, 145 secs
lola: 2117220 markings, 10864417 edges, 12473 markings/sec, 150 secs
lola: 2179102 markings, 11257331 edges, 12376 markings/sec, 155 secs
lola: 2242813 markings, 11643162 edges, 12742 markings/sec, 160 secs
lola: 2309213 markings, 12028688 edges, 13280 markings/sec, 165 secs
lola: 2377805 markings, 12398312 edges, 13718 markings/sec, 170 secs
lola: 2443332 markings, 12782851 edges, 13105 markings/sec, 175 secs
lola: 2510855 markings, 13161159 edges, 13505 markings/sec, 180 secs
lola: 2579364 markings, 13531974 edges, 13702 markings/sec, 185 secs
lola: 2646544 markings, 13893235 edges, 13436 markings/sec, 190 secs
lola: 2712019 markings, 14281949 edges, 13095 markings/sec, 195 secs
lola: 2779920 markings, 14660074 edges, 13580 markings/sec, 200 secs
lola: 2848917 markings, 15031179 edges, 13799 markings/sec, 205 secs
lola: 2916325 markings, 15396149 edges, 13482 markings/sec, 210 secs
lola: 2981199 markings, 15782625 edges, 12975 markings/sec, 215 secs
lola: 3048863 markings, 16157364 edges, 13533 markings/sec, 220 secs
lola: 3113654 markings, 16544433 edges, 12958 markings/sec, 225 secs
lola: 3178356 markings, 16913945 edges, 12940 markings/sec, 230 secs
lola: 3244665 markings, 17283570 edges, 13262 markings/sec, 235 secs
lola: 3307969 markings, 17653653 edges, 12661 markings/sec, 240 secs
lola: 3369889 markings, 18052379 edges, 12384 markings/sec, 245 secs
lola: 3432737 markings, 18451944 edges, 12570 markings/sec, 250 secs
lola: 3495602 markings, 18848750 edges, 12573 markings/sec, 255 secs
lola: 3558921 markings, 19245709 edges, 12664 markings/sec, 260 secs
lola: 3620655 markings, 19641031 edges, 12347 markings/sec, 265 secs
lola: 3682273 markings, 20037546 edges, 12324 markings/sec, 270 secs
lola: 3743465 markings, 20430137 edges, 12238 markings/sec, 275 secs
lola: 3805174 markings, 20816654 edges, 12342 markings/sec, 280 secs
lola: 3866706 markings, 21210218 edges, 12306 markings/sec, 285 secs
lola: 3929156 markings, 21603958 edges, 12490 markings/sec, 290 secs
lola: 3997164 markings, 21973293 edges, 13602 markings/sec, 295 secs
lola: 4064634 markings, 22336779 edges, 13494 markings/sec, 300 secs
lola: 4128570 markings, 22712673 edges, 12787 markings/sec, 305 secs
lola: 4194002 markings, 23079262 edges, 13086 markings/sec, 310 secs
lola: 4258997 markings, 23458086 edges, 12999 markings/sec, 315 secs
lola: 4322679 markings, 23842220 edges, 12736 markings/sec, 320 secs
lola: 4389713 markings, 24215947 edges, 13407 markings/sec, 325 secs
lola: 4456321 markings, 24588268 edges, 13322 markings/sec, 330 secs
lola: 4522917 markings, 24956959 edges, 13319 markings/sec, 335 secs
lola: 4591597 markings, 25323411 edges, 13736 markings/sec, 340 secs
lola: 4657368 markings, 25692800 edges, 13154 markings/sec, 345 secs
lola: 4721558 markings, 26069094 edges, 12838 markings/sec, 350 secs
lola: 4787979 markings, 26436975 edges, 13284 markings/sec, 355 secs
lola: 4850647 markings, 26831479 edges, 12534 markings/sec, 360 secs
lola: 4917417 markings, 27208790 edges, 13354 markings/sec, 365 secs
lola: 4985026 markings, 27585582 edges, 13522 markings/sec, 370 secs
lola: 5052318 markings, 27959546 edges, 13458 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 6 6 unknown unknown 1 1 1 1 unknown unknown
lola: memory consumption: 532684 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(BeginLoop_5_1_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(BeginLoop_5_1_6)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 91081 markings, 233005 edges, 18216 markings/sec, 0 secs
lola: 179556 markings, 488788 edges, 17695 markings/sec, 5 secs
lola: 265524 markings, 760162 edges, 17194 markings/sec, 10 secs
lola: 350661 markings, 1024826 edges, 17027 markings/sec, 15 secs
lola: 434419 markings, 1303578 edges, 16752 markings/sec, 20 secs
lola: 517045 markings, 1578875 edges, 16525 markings/sec, 25 secs
lola: 597227 markings, 1880075 edges, 16036 markings/sec, 30 secs
lola: 675448 markings, 2187994 edges, 15644 markings/sec, 35 secs
lola: 754029 markings, 2500839 edges, 15716 markings/sec, 40 secs
lola: 831379 markings, 2816646 edges, 15470 markings/sec, 45 secs
lola: 903989 markings, 3169380 edges, 14522 markings/sec, 50 secs
lola: 971604 markings, 3552086 edges, 13523 markings/sec, 55 secs
lola: 1042018 markings, 3913422 edges, 14083 markings/sec, 60 secs
lola: 1111688 markings, 4272109 edges, 13934 markings/sec, 65 secs
lola: 1184546 markings, 4643374 edges, 14572 markings/sec, 70 secs
lola: 1258040 markings, 5004052 edges, 14699 markings/sec, 75 secs
lola: 1326899 markings, 5372441 edges, 13772 markings/sec, 80 secs
lola: 1396767 markings, 5741061 edges, 13974 markings/sec, 85 secs
lola: 1465792 markings, 6109487 edges, 13805 markings/sec, 90 secs
lola: 1533158 markings, 6474217 edges, 13473 markings/sec, 95 secs
lola: 1599486 markings, 6841440 edges, 13266 markings/sec, 100 secs
lola: 1678959 markings, 7206840 edges, 15895 markings/sec, 105 secs
lola: 1745865 markings, 7572658 edges, 13381 markings/sec, 110 secs
lola: 1813339 markings, 7932826 edges, 13495 markings/sec, 115 secs
lola: 1878240 markings, 8303818 edges, 12980 markings/sec, 120 secs
lola: 1945066 markings, 8667685 edges, 13365 markings/sec, 125 secs
lola: 2012241 markings, 9026596 edges, 13435 markings/sec, 130 secs
lola: 2075554 markings, 9406503 edges, 12663 markings/sec, 135 secs
lola: 2144663 markings, 9764043 edges, 13822 markings/sec, 140 secs
lola: 2212406 markings, 10126718 edges, 13549 markings/sec, 145 secs
lola: 2284718 markings, 10490316 edges, 14462 markings/sec, 150 secs
lola: 2371107 markings, 10868199 edges, 17278 markings/sec, 155 secs
lola: 2438480 markings, 11232271 edges, 13475 markings/sec, 160 secs
lola: 2507623 markings, 11593491 edges, 13829 markings/sec, 165 secs
lola: 2574753 markings, 11957998 edges, 13426 markings/sec, 170 secs
lola: 2640728 markings, 12322177 edges, 13195 markings/sec, 175 secs
lola: 2705725 markings, 12700744 edges, 12999 markings/sec, 180 secs
lola: 2771638 markings, 13068037 edges, 13183 markings/sec, 185 secs
lola: 2837712 markings, 13432423 edges, 13215 markings/sec, 190 secs
lola: 2901746 markings, 13810664 edges, 12807 markings/sec, 195 secs
lola: 2968481 markings, 14165927 edges, 13347 markings/sec, 200 secs
lola: 3034664 markings, 14530076 edges, 13237 markings/sec, 205 secs
lola: 3103232 markings, 14884936 edges, 13714 markings/sec, 210 secs
lola: 3172576 markings, 15241445 edges, 13869 markings/sec, 215 secs
lola: 3242089 markings, 15598996 edges, 13903 markings/sec, 220 secs
lola: 3311713 markings, 15953313 edges, 13925 markings/sec, 225 secs
lola: 3382606 markings, 16314525 edges, 14179 markings/sec, 230 secs
lola: 3453367 markings, 16678328 edges, 14152 markings/sec, 235 secs
lola: 3523918 markings, 17041830 edges, 14110 markings/sec, 240 secs
lola: 3591169 markings, 17413336 edges, 13450 markings/sec, 245 secs
lola: 3660154 markings, 17767900 edges, 13797 markings/sec, 250 secs
lola: 3732793 markings, 18106530 edges, 14528 markings/sec, 255 secs
lola: 3823218 markings, 18462098 edges, 18085 markings/sec, 260 secs
lola: 3915583 markings, 18822340 edges, 18473 markings/sec, 265 secs
lola: 4007860 markings, 19179750 edges, 18455 markings/sec, 270 secs
lola: 4093712 markings, 19535125 edges, 17170 markings/sec, 275 secs
lola: 4157237 markings, 19943467 edges, 12705 markings/sec, 280 secs
lola: 4225030 markings, 20313092 edges, 13559 markings/sec, 285 secs
lola: 4293956 markings, 20668478 edges, 13785 markings/sec, 290 secs
lola: 4362621 markings, 21024801 edges, 13733 markings/sec, 295 secs
lola: 4431649 markings, 21390301 edges, 13806 markings/sec, 300 secs
lola: 4502907 markings, 21743933 edges, 14252 markings/sec, 305 secs
lola: 4572489 markings, 22114533 edges, 13916 markings/sec, 310 secs
lola: 4646793 markings, 22459551 edges, 14861 markings/sec, 315 secs
lola: 4716020 markings, 22818616 edges, 13845 markings/sec, 320 secs
lola: 4783817 markings, 23182040 edges, 13559 markings/sec, 325 secs
lola: 4850951 markings, 23550777 edges, 13427 markings/sec, 330 secs
lola: 4914464 markings, 23921383 edges, 12703 markings/sec, 335 secs
lola: 4979736 markings, 24273837 edges, 13054 markings/sec, 340 secs
lola: 5046495 markings, 24638371 edges, 13352 markings/sec, 345 secs
lola: 5109792 markings, 25017425 edges, 12659 markings/sec, 350 secs
lola: 5174777 markings, 25378508 edges, 12997 markings/sec, 355 secs
lola: 5240297 markings, 25745391 edges, 13104 markings/sec, 360 secs
lola: 5305032 markings, 26111897 edges, 12947 markings/sec, 365 secs
lola: 5371347 markings, 26480268 edges, 13263 markings/sec, 370 secs
lola: 5440326 markings, 26840707 edges, 13796 markings/sec, 375 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown 6 6 unknown unknown 1 1 1 1 unknown unknown
lola: memory consumption: 603832 KB
lola: time consumption: 1274 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Idle_0 + Idle_1 + Idle_2 + Idle_3 + Idle_4 + Idle_5 + Idle_6)
lola: processed formula length: 65
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 0 markings, 0 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-1 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 459 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_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_0_4 + AskForSection_0_5 + AskForSection_1_0 + AskForSection_1_... (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_6_0 + AskForSection_6_1 + AskForSection_6_2 + AskForSection_6_3 + AskForSection_6_4 + AskForSection_6_5 + AskForSection_0_0 + AskForSection_0_1 + AskForSection_0_2 + AskForSection_0_3 + AskForSection_0_4 + AskForSection_0_5 + AskForSection_1_0 + AskForSection_1_... (shortened)
lola: processed formula length: 842
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 8 markings, 7 edges
FORMULA Peterson-PT-6-UpperBounds-5 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 573 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestIdentity_1_0_0 + TestIdentity_1_0_1 + TestIdentity_1_0_2 + TestIdentity_1_0_3 + TestIdentity_1_0_4 + TestIdentity_1_0_5 + TestIdentity_1_0_6 + TestIdentity_3_4_5 + TestIdentity_6_3_0 + TestIdentity_6_3_1 + TestIdentity_6_3_2 + TestIdentity_6_3_3 + TestIdentity_6_3_4 + TestIdentity_6_3_5 + TestIdentity_6_3_6 + TestIdentity_3_5_0 + TestIdentity_3_5_1 + TestIdentity_3_5_2 + TestIdentity_3_5_3... (shortened)
lola: processed formula length: 6176
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 32 markings, 31 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-4 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 765 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_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_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_0_1_0 + ... (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_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_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_0_1_0 + ... (shortened)
lola: processed formula length: 5294
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 352 markings, 380 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-0 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1147 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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_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_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_2_0_0 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_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_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_2_0_0 + ... (shortened)
lola: processed formula length: 5294
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 22 markings, 21 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-2 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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_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_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_2_0_0 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_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_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_2_0_0 + ... (shortened)
lola: processed formula length: 5294
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 7
lola: SUBRESULT
lola: result: 7
lola: produced by: state space
lola: The maximum value of the given expression is 7
lola: 22 markings, 21 edges
lola: ========================================
FORMULA Peterson-PT-6-UpperBounds-3 7 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(TestIdentity_5_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TestIdentity_5_3_3)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file Peterson-PT-6-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: 83903 markings, 227582 edges, 16781 markings/sec, 0 secs
lola: 167893 markings, 478896 edges, 16798 markings/sec, 5 secs
lola: 251545 markings, 742146 edges, 16730 markings/sec, 10 secs
lola: 333183 markings, 1010930 edges, 16328 markings/sec, 15 secs
lola: 413328 markings, 1277632 edges, 16029 markings/sec, 20 secs
lola: 491174 markings, 1557635 edges, 15569 markings/sec, 25 secs
lola: 569691 markings, 1838726 edges, 15703 markings/sec, 30 secs
lola: 643535 markings, 2162356 edges, 14769 markings/sec, 35 secs
lola: 711040 markings, 2518888 edges, 13501 markings/sec, 40 secs
lola: 774333 markings, 2892695 edges, 12659 markings/sec, 45 secs
lola: 840704 markings, 3247735 edges, 13274 markings/sec, 50 secs
lola: 909520 markings, 3621623 edges, 13763 markings/sec, 55 secs
lola: 973127 markings, 3978126 edges, 12721 markings/sec, 60 secs
lola: 1034896 markings, 4342539 edges, 12354 markings/sec, 65 secs
lola: 1099073 markings, 4693110 edges, 12835 markings/sec, 70 secs
lola: 1163238 markings, 5047776 edges, 12833 markings/sec, 75 secs
lola: 1224635 markings, 5411680 edges, 12279 markings/sec, 80 secs
lola: 1290481 markings, 5770060 edges, 13169 markings/sec, 85 secs
lola: 1359253 markings, 6136085 edges, 13754 markings/sec, 90 secs
lola: 1429777 markings, 6500453 edges, 14105 markings/sec, 95 secs
lola: 1493842 markings, 6860665 edges, 12813 markings/sec, 100 secs
lola: 1555923 markings, 7224984 edges, 12416 markings/sec, 105 secs
lola: 1617139 markings, 7595804 edges, 12243 markings/sec, 110 secs
lola: 1678049 markings, 7954545 edges, 12182 markings/sec, 115 secs
lola: 1742232 markings, 8310316 edges, 12837 markings/sec, 120 secs
lola: 1806700 markings, 8675137 edges, 12894 markings/sec, 125 secs
lola: 1869165 markings, 9041840 edges, 12493 markings/sec, 130 secs
lola: 1931400 markings, 9415358 edges, 12447 markings/sec, 135 secs
lola: 1996898 markings, 9768349 edges, 13100 markings/sec, 140 secs
lola: 2062771 markings, 10118957 edges, 13175 markings/sec, 145 secs
lola: 2126450 markings, 10478088 edges, 12736 markings/sec, 150 secs
lola: 2197674 markings, 10843841 edges, 14245 markings/sec, 155 secs
lola: 2274518 markings, 11210518 edges, 15369 markings/sec, 160 secs
lola: 2335375 markings, 11563867 edges, 12171 markings/sec, 165 secs
lola: 2400577 markings, 11915487 edges, 13040 markings/sec, 170 secs
lola: 2462783 markings, 12269780 edges, 12441 markings/sec, 175 secs
lola: 2524057 markings, 12627588 edges, 12255 markings/sec, 180 secs
lola: 2582404 markings, 12998257 edges, 11669 markings/sec, 185 secs
lola: 2641112 markings, 13366208 edges, 11742 markings/sec, 190 secs
lola: 2702525 markings, 13720737 edges, 12283 markings/sec, 195 secs
lola: 2763612 markings, 14077863 edges, 12217 markings/sec, 200 secs
lola: 2823221 markings, 14440971 edges, 11922 markings/sec, 205 secs
lola: 2885516 markings, 14800707 edges, 12459 markings/sec, 210 secs
lola: 2947688 markings, 15158563 edges, 12434 markings/sec, 215 secs
lola: 3010790 markings, 15521421 edges, 12620 markings/sec, 220 secs
lola: 3073033 markings, 15880170 edges, 12449 markings/sec, 225 secs
lola: 3133383 markings, 16243157 edges, 12070 markings/sec, 230 secs
lola: 3196656 markings, 16610970 edges, 12655 markings/sec, 235 secs
lola: 3263326 markings, 16958185 edges, 13334 markings/sec, 240 secs
lola: 3328413 markings, 17314123 edges, 13017 markings/sec, 245 secs
lola: 3391637 markings, 17676208 edges, 12645 markings/sec, 250 secs
lola: 3462810 markings, 18033255 edges, 14235 markings/sec, 255 secs
lola: 3545105 markings, 18397353 edges, 16459 markings/sec, 260 secs
lola: 3624704 markings, 18758631 edges, 15920 markings/sec, 265 secs
lola: 3686817 markings, 19140656 edges, 12423 markings/sec, 270 secs
lola: 3747875 markings, 19497031 edges, 12212 markings/sec, 275 secs
lola: 3807863 markings, 19853293 edges, 11998 markings/sec, 280 secs
lola: 3870160 markings, 20214848 edges, 12459 markings/sec, 285 secs
lola: 3933124 markings, 20567628 edges, 12593 markings/sec, 290 secs
lola: 3996251 markings, 20923879 edges, 12625 markings/sec, 295 secs
lola: 4057959 markings, 21275849 edges, 12342 markings/sec, 300 secs
lola: 4118245 markings, 21633101 edges, 12057 markings/sec, 305 secs
lola: 4177352 markings, 21993936 edges, 11821 markings/sec, 310 secs
lola: 4235481 markings, 22364244 edges, 11626 markings/sec, 315 secs
lola: 4293304 markings, 22729460 edges, 11565 markings/sec, 320 secs
lola: 4351374 markings, 23092713 edges, 11614 markings/sec, 325 secs
lola: 4409697 markings, 23447358 edges, 11665 markings/sec, 330 secs
lola: 4468227 markings, 23803654 edges, 11706 markings/sec, 335 secs
lola: 4530622 markings, 24164728 edges, 12479 markings/sec, 340 secs
lola: 4592767 markings, 24520774 edges, 12429 markings/sec, 345 secs
lola: 4651190 markings, 24891809 edges, 11685 markings/sec, 350 secs
lola: 4710235 markings, 25256922 edges, 11809 markings/sec, 355 secs
lola: 4770518 markings, 25618290 edges, 12057 markings/sec, 360 secs
lola: 4832491 markings, 25971444 edges, 12395 markings/sec, 365 secs
lola: 4893482 markings, 26330653 edges, 12198 markings/sec, 370 secs
lola: 4956352 markings, 26690782 edges, 12574 markings/sec, 375 secs
lola: 5017547 markings, 27048479 edges, 12239 markings/sec, 380 secs
lola: 5076686 markings, 27412033 edges, 11828 markings/sec, 385 secs
lola: 5136915 markings, 27774437 edges, 12046 markings/sec, 390 secs
lola: 5198057 markings, 28139712 edges, 12228 markings/sec, 395 secs
lola: 5260416 markings, 28501906 edges, 12472 markings/sec, 400 secs
lola: 5319009 markings, 28883025 edges, 11719 markings/sec, 405 secs
lola: 5378826 markings, 29258099 edges, 11963 markings/sec, 410 secs
lola: 5439152 markings, 29629193 edges, 12065 markings/sec, 415 secs
lola: 5503181 markings, 29983339 edges, 12806 markings/sec, 420 secs
lola: 5574919 markings, 30300729 edges, 14348 markings/sec, 425 secs
lola: 5646243 markings, 30614646 edges, 14265 markings/sec, 430 secs
lola: 5715530 markings, 30935619 edges, 13857 markings/sec, 435 secs
lola: 5782587 markings, 31266229 edges, 13411 markings/sec, 440 secs
lola: 5846424 markings, 31613768 edges, 12767 markings/sec, 445 secs
lola: 5866095 markings, 32194771 edges, 3934 markings/sec, 450 secs
lola: 5896739 markings, 32731411 edges, 6129 markings/sec, 455 secs
lola: 5960034 markings, 33111851 edges, 12659 markings/sec, 460 secs
lola: 6022783 markings, 33496639 edges, 12550 markings/sec, 465 secs
lola: 6084942 markings, 33877269 edges, 12432 markings/sec, 470 secs
lola: 6147209 markings, 34254021 edges, 12453 markings/sec, 475 secs
lola: 6209766 markings, 34635292 edges, 12511 markings/sec, 480 secs
lola: 6273071 markings, 35003242 edges, 12661 markings/sec, 485 secs
lola: 6335097 markings, 35383335 edges, 12405 markings/sec, 490 secs
lola: 6396840 markings, 35763526 edges, 12349 markings/sec, 495 secs
lola: 6464565 markings, 36142990 edges, 13545 markings/sec, 500 secs
lola: 6527775 markings, 36514865 edges, 12642 markings/sec, 505 secs
lola: 6590674 markings, 36892195 edges, 12580 markings/sec, 510 secs
lola: 6660702 markings, 37252751 edges, 14006 markings/sec, 515 secs
lola: 6726347 markings, 37622422 edges, 13129 markings/sec, 520 secs
lola: 6794913 markings, 38003008 edges, 13713 markings/sec, 525 secs
lola: 6862464 markings, 38368252 edges, 13510 markings/sec, 530 secs
lola: 6904814 markings, 38856035 edges, 8470 markings/sec, 535 secs
lola: 6919026 markings, 39483739 edges, 2842 markings/sec, 540 secs
lola: 6943808 markings, 40059737 edges, 4956 markings/sec, 545 secs
lola: 7022419 markings, 40341790 edges, 15722 markings/sec, 550 secs
lola: 7108977 markings, 40575774 edges, 17312 markings/sec, 555 secs
lola: 7192848 markings, 40822005 edges, 16774 markings/sec, 560 secs
lola: 7276919 markings, 41066396 edges, 16814 markings/sec, 565 secs
lola: 7358124 markings, 41315420 edges, 16241 markings/sec, 570 secs
lola: 7439699 markings, 41572483 edges, 16315 markings/sec, 575 secs
lola: 7519338 markings, 41836098 edges, 15928 markings/sec, 580 secs
lola: 7590176 markings, 42181823 edges, 14168 markings/sec, 585 secs
lola: 7653463 markings, 42556908 edges, 12657 markings/sec, 590 secs
lola: 7722553 markings, 42928275 edges, 13818 markings/sec, 595 secs
lola: 7788485 markings, 43290577 edges, 13186 markings/sec, 600 secs
lola: 7852902 markings, 43665150 edges, 12883 markings/sec, 605 secs
lola: 7918634 markings, 44038272 edges, 13146 markings/sec, 610 secs
lola: 7984906 markings, 44395282 edges, 13254 markings/sec, 615 secs
lola: 8053685 markings, 44751565 edges, 13756 markings/sec, 620 secs
lola: 8117462 markings, 45120192 edges, 12755 markings/sec, 625 secs
lola: 8183236 markings, 45477160 edges, 13155 markings/sec, 630 secs
lola: 8248825 markings, 45827591 edges, 13118 markings/sec, 635 secs
lola: 8312332 markings, 46183429 edges, 12701 markings/sec, 640 secs
lola: 8374442 markings, 46540492 edges, 12422 markings/sec, 645 secs
lola: 8435527 markings, 46896419 edges, 12217 markings/sec, 650 secs
lola: 8500450 markings, 47240575 edges, 12985 markings/sec, 655 secs
lola: 8561924 markings, 47606826 edges, 12295 markings/sec, 660 secs
lola: 8624473 markings, 47965149 edges, 12510 markings/sec, 665 secs
lola: 8687595 markings, 48334293 edges, 12624 markings/sec, 670 secs
lola: 8753701 markings, 48689238 edges, 13221 markings/sec, 675 secs
lola: 8815386 markings, 49044934 edges, 12337 markings/sec, 680 secs
lola: 8879501 markings, 49400557 edges, 12823 markings/sec, 685 secs
lola: 8943514 markings, 49760038 edges, 12803 markings/sec, 690 secs
lola: 9007563 markings, 50119858 edges, 12810 markings/sec, 695 secs
lola: 9069779 markings, 50501949 edges, 12443 markings/sec, 700 secs
lola: 9134317 markings, 50860772 edges, 12908 markings/sec, 705 secs
lola: 9196537 markings, 51233639 edges, 12444 markings/sec, 710 secs
lola: 9258282 markings, 51621393 edges, 12349 markings/sec, 715 secs
lola: 9324131 markings, 51986675 edges, 13170 markings/sec, 720 secs
lola: 9390969 markings, 52350267 edges, 13368 markings/sec, 725 secs
lola: 9457120 markings, 52711250 edges, 13230 markings/sec, 730 secs
lola: 9523587 markings, 53074718 edges, 13293 markings/sec, 735 secs
lola: 9585616 markings, 53439463 edges, 12406 markings/sec, 740 secs
lola: 9647680 markings, 53796121 edges, 12413 markings/sec, 745 secs
lola: 9710957 markings, 54157673 edges, 12655 markings/sec, 750 secs
lola: 9776349 markings, 54510153 edges, 13078 markings/sec, 755 secs
lola: 9839544 markings, 54872245 edges, 12639 markings/sec, 760 secs
lola: 9904024 markings, 55232413 edges, 12896 markings/sec, 765 secs
lola: 9965275 markings, 55596654 edges, 12250 markings/sec, 770 secs
lola: 10024977 markings, 55976043 edges, 11940 markings/sec, 775 secs
lola: 10086979 markings, 56347605 edges, 12400 markings/sec, 780 secs
lola: 10150552 markings, 56712107 edges, 12715 markings/sec, 785 secs
lola: 10214424 markings, 57063353 edges, 12774 markings/sec, 790 secs
lola: 10275327 markings, 57421311 edges, 12181 markings/sec, 795 secs
lola: 10335129 markings, 57791599 edges, 11960 markings/sec, 800 secs
lola: 10398268 markings, 58156190 edges, 12628 markings/sec, 805 secs
lola: 10463132 markings, 58505684 edges, 12973 markings/sec, 810 secs
lola: 10527510 markings, 58851048 edges, 12876 markings/sec, 815 secs
lola: 10590259 markings, 59210963 edges, 12550 markings/sec, 820 secs
lola: 10652822 markings, 59568062 edges, 12513 markings/sec, 825 secs
lola: 10717113 markings, 59918626 edges, 12858 markings/sec, 830 secs
lola: 10781553 markings, 60268714 edges, 12888 markings/sec, 835 secs
lola: 10841129 markings, 60625986 edges, 11915 markings/sec, 840 secs
lola: 10900153 markings, 60977565 edges, 11805 markings/sec, 845 secs
lola: 10959388 markings, 61332406 edges, 11847 markings/sec, 850 secs
lola: 11019922 markings, 61686509 edges, 12107 markings/sec, 855 secs
lola: 11082680 markings, 62039603 edges, 12552 markings/sec, 860 secs
lola: 11145763 markings, 62384824 edges, 12617 markings/sec, 865 secs
lola: 11206329 markings, 62741327 edges, 12113 markings/sec, 870 secs
lola: 11269488 markings, 63091595 edges, 12632 markings/sec, 875 secs
lola: 11330268 markings, 63453619 edges, 12156 markings/sec, 880 secs
lola: 11390327 markings, 63824082 edges, 12012 markings/sec, 885 secs
lola: 11450321 markings, 64196006 edges, 11999 markings/sec, 890 secs
lola: 11509927 markings, 64567642 edges, 11921 markings/sec, 895 secs
lola: 11570183 markings, 64944293 edges, 12051 markings/sec, 900 secs
lola: 11632676 markings, 65313047 edges, 12499 markings/sec, 905 secs
lola: 11694921 markings, 65672915 edges, 12449 markings/sec, 910 secs
lola: 11756461 markings, 66034658 edges, 12308 markings/sec, 915 secs
lola: 11818606 markings, 66404193 edges, 12429 markings/sec, 920 secs
lola: 11882571 markings, 66759707 edges, 12793 markings/sec, 925 secs
lola: 11946771 markings, 67111383 edges, 12840 markings/sec, 930 secs
lola: 12006339 markings, 67482983 edges, 11914 markings/sec, 935 secs
lola: 12067191 markings, 67847011 edges, 12170 markings/sec, 940 secs
lola: 12129166 markings, 68203210 edges, 12395 markings/sec, 945 secs
lola: 12193141 markings, 68558531 edges, 12795 markings/sec, 950 secs
lola: 12256280 markings, 68941381 edges, 12628 markings/sec, 955 secs
lola: 12318534 markings, 69322456 edges, 12451 markings/sec, 960 secs
lola: 12382568 markings, 69674993 edges, 12807 markings/sec, 965 secs
lola: 12446895 markings, 70027983 edges, 12865 markings/sec, 970 secs
lola: 12511192 markings, 70383555 edges, 12859 markings/sec, 975 secs
lola: 12576763 markings, 70736553 edges, 13114 markings/sec, 980 secs
lola: 12639363 markings, 71088045 edges, 12520 markings/sec, 985 secs
lola: 12702450 markings, 71439916 edges, 12617 markings/sec, 990 secs
lola: 12762338 markings, 71807442 edges, 11978 markings/sec, 995 secs
lola: 12823570 markings, 72182977 edges, 12246 markings/sec, 1000 secs
lola: 12887257 markings, 72537870 edges, 12737 markings/sec, 1005 secs
lola: 12951415 markings, 72891388 edges, 12832 markings/sec, 1010 secs
lola: 13012467 markings, 73248304 edges, 12210 markings/sec, 1015 secs
lola: 13074190 markings, 73605174 edges, 12345 markings/sec, 1020 secs
lola: 13133392 markings, 73954359 edges, 11840 markings/sec, 1025 secs
lola: 13193843 markings, 74304615 edges, 12090 markings/sec, 1030 secs
lola: 13256331 markings, 74654366 edges, 12498 markings/sec, 1035 secs
lola: 13317130 markings, 75002680 edges, 12160 markings/sec, 1040 secs
lola: 13377411 markings, 75349019 edges, 12056 markings/sec, 1045 secs
lola: 13439025 markings, 75693606 edges, 12323 markings/sec, 1050 secs
lola: 13503107 markings, 76024715 edges, 12816 markings/sec, 1055 secs
lola: 13570814 markings, 76336559 edges, 13541 markings/sec, 1060 secs
lola: 13638464 markings, 76642056 edges, 13530 markings/sec, 1065 secs
lola: 13701355 markings, 76937452 edges, 12578 markings/sec, 1070 secs
lola: 13762678 markings, 77243014 edges, 12265 markings/sec, 1075 secs
lola: 13821478 markings, 77566827 edges, 11760 markings/sec, 1080 secs
lola: 13837072 markings, 78103718 edges, 3119 markings/sec, 1085 secs
lola: 13860360 markings, 78616617 edges, 4658 markings/sec, 1090 secs
lola: 13921198 markings, 78988418 edges, 12168 markings/sec, 1095 secs
lola: 13981934 markings, 79361280 edges, 12147 markings/sec, 1100 secs
lola: 14044319 markings, 79735658 edges, 12477 markings/sec, 1105 secs
lola: 14113377 markings, 80113904 edges, 13812 markings/sec, 1110 secs
lola: 14177157 markings, 80502182 edges, 12756 markings/sec, 1115 secs
lola: 14238985 markings, 80876020 edges, 12366 markings/sec, 1120 secs
lola: 14300935 markings, 81256651 edges, 12390 markings/sec, 1125 secs
lola: 14332116 markings, 81783625 edges, 6236 markings/sec, 1130 secs
lola: 14333255 markings, 82388373 edges, 228 markings/sec, 1135 secs
lola: 14333467 markings, 82977630 edges, 42 markings/sec, 1140 secs
lola: 14409202 markings, 83367098 edges, 15147 markings/sec, 1145 secs
lola: 14480906 markings, 83756547 edges, 14341 markings/sec, 1150 secs
lola: 14563840 markings, 84023874 edges, 16587 markings/sec, 1155 secs
lola: 14651363 markings, 84260704 edges, 17505 markings/sec, 1160 secs
lola: 14736190 markings, 84503772 edges, 16965 markings/sec, 1165 secs
lola: 14820124 markings, 84764391 edges, 16787 markings/sec, 1170 secs
lola: 14903752 markings, 85025467 edges, 16726 markings/sec, 1175 secs
lola: 14985593 markings, 85290396 edges, 16368 markings/sec, 1180 secs
lola: 15066606 markings, 85557747 edges, 16203 markings/sec, 1185 secs
lola: 15139544 markings, 85890694 edges, 14588 markings/sec, 1190 secs
lola: 15204449 markings, 86259061 edges, 12981 markings/sec, 1195 secs
lola: 15273480 markings, 86631788 edges, 13806 markings/sec, 1200 secs
lola: 15336213 markings, 87001513 edges, 12547 markings/sec, 1205 secs
lola: 15398509 markings, 87379740 edges, 12459 markings/sec, 1210 secs
lola: 15465393 markings, 87747195 edges, 13377 markings/sec, 1215 secs
lola: 15532898 markings, 88102391 edges, 13501 markings/sec, 1220 secs
lola: 15591748 markings, 88465968 edges, 11770 markings/sec, 1225 secs
lola: 15657701 markings, 88822896 edges, 13191 markings/sec, 1230 secs
lola: 15723169 markings, 89181413 edges, 13094 markings/sec, 1235 secs
lola: 15788054 markings, 89543512 edges, 12977 markings/sec, 1240 secs
lola: 15850763 markings, 89910120 edges, 12542 markings/sec, 1245 secs
lola: 15915075 markings, 90277704 edges, 12862 markings/sec, 1250 secs
lola: 15979606 markings, 90643549 edges, 12906 markings/sec, 1255 secs
lola: 16043056 markings, 91013078 edges, 12690 markings/sec, 1260 secs
lola: 16105564 markings, 91386328 edges, 12502 markings/sec, 1265 secs
lola: 16169917 markings, 91741097 edges, 12871 markings/sec, 1270 secs
lola: 16232067 markings, 92108882 edges, 12430 markings/sec, 1275 secs
lola: 16296515 markings, 92468996 edges, 12890 markings/sec, 1280 secs
lola: 16360341 markings, 92829691 edges, 12765 markings/sec, 1285 secs
lola: 16423385 markings, 93192483 edges, 12609 markings/sec, 1290 secs
lola: 16484061 markings, 93569771 edges, 12135 markings/sec, 1295 secs
lola: 16546140 markings, 93930078 edges, 12416 markings/sec, 1300 secs
lola: 16608008 markings, 94299267 edges, 12374 markings/sec, 1305 secs
lola: 16669584 markings, 94657768 edges, 12315 markings/sec, 1310 secs
lola: 16729838 markings, 95036555 edges, 12051 markings/sec, 1315 secs
lola: 16794532 markings, 95396295 edges, 12939 markings/sec, 1320 secs
lola: 16859902 markings, 95748695 edges, 13074 markings/sec, 1325 secs
lola: 16924768 markings, 96102736 edges, 12973 markings/sec, 1330 secs
lola: 16987723 markings, 96466404 edges, 12591 markings/sec, 1335 secs
lola: 17050135 markings, 96830597 edges, 12482 markings/sec, 1340 secs
lola: 17115278 markings, 97185787 edges, 13029 markings/sec, 1345 secs
lola: 17177797 markings, 97550997 edges, 12504 markings/sec, 1350 secs
lola: 17240060 markings, 97914231 edges, 12453 markings/sec, 1355 secs
lola: 17299474 markings, 98289606 edges, 11883 markings/sec, 1360 secs
lola: 17359434 markings, 98668105 edges, 11992 markings/sec, 1365 secs
lola: 17421607 markings, 99026015 edges, 12435 markings/sec, 1370 secs
lola: 17482611 markings, 99387564 edges, 12201 markings/sec, 1375 secs
lola: 17542322 markings, 99766869 edges, 11942 markings/sec, 1380 secs
lola: 17604065 markings, 100129863 edges, 12349 markings/sec, 1385 secs
lola: 17666019 markings, 100481568 edges, 12391 markings/sec, 1390 secs
lola: 17727585 markings, 100838277 edges, 12313 markings/sec, 1395 secs
lola: 17791820 markings, 101195852 edges, 12847 markings/sec, 1400 secs
lola: 17856320 markings, 101549091 edges, 12900 markings/sec, 1405 secs
lola: 17922295 markings, 101907978 edges, 13195 markings/sec, 1410 secs
lola: 17987492 markings, 102273105 edges, 13039 markings/sec, 1415 secs
lola: 18054921 markings, 102633279 edges, 13486 markings/sec, 1420 secs
lola: 18119805 markings, 103002309 edges, 12977 markings/sec, 1425 secs
lola: 18187013 markings, 103362198 edges, 13442 markings/sec, 1430 secs
lola: 18253074 markings, 103722702 edges, 13212 markings/sec, 1435 secs
lola: 18318049 markings, 104084564 edges, 12995 markings/sec, 1440 secs
lola: 18384423 markings, 104444268 edges, 13275 markings/sec, 1445 secs
lola: 18449529 markings, 104810679 edges, 13021 markings/sec, 1450 secs
lola: 18516094 markings, 105166408 edges, 13313 markings/sec, 1455 secs
lola: 18581693 markings, 105531058 edges, 13120 markings/sec, 1460 secs
lola: 18647533 markings, 105891639 edges, 13168 markings/sec, 1465 secs
lola: 18712761 markings, 106246354 edges, 13046 markings/sec, 1470 secs
lola: 18776729 markings, 106604979 edges, 12794 markings/sec, 1475 secs
lola: 18839800 markings, 106973480 edges, 12614 markings/sec, 1480 secs
lola: 18901240 markings, 107355821 edges, 12288 markings/sec, 1485 secs
lola: 18966534 markings, 107711548 edges, 13059 markings/sec, 1490 secs
lola: 19028602 markings, 108078221 edges, 12414 markings/sec, 1495 secs
lola: 19090297 markings, 108440340 edges, 12339 markings/sec, 1500 secs
lola: 19153081 markings, 108803270 edges, 12557 markings/sec, 1505 secs
lola: 19218239 markings, 109164515 edges, 13032 markings/sec, 1510 secs
lola: 19281724 markings, 109535794 edges, 12697 markings/sec, 1515 secs
lola: 19348150 markings, 109887811 edges, 13285 markings/sec, 1520 secs
lola: 19412811 markings, 110244151 edges, 12932 markings/sec, 1525 secs
lola: 19473614 markings, 110617820 edges, 12161 markings/sec, 1530 secs
lola: 19533811 markings, 110996070 edges, 12039 markings/sec, 1535 secs
lola: 19595057 markings, 111364935 edges, 12249 markings/sec, 1540 secs
lola: 19656204 markings, 111741109 edges, 12229 markings/sec, 1545 secs
lola: 19714891 markings, 112124754 edges, 11737 markings/sec, 1550 secs
lola: 19775118 markings, 112500699 edges, 12045 markings/sec, 1555 secs
lola: 19838283 markings, 112861298 edges, 12633 markings/sec, 1560 secs
lola: 19899168 markings, 113227680 edges, 12177 markings/sec, 1565 secs
lola: 19963634 markings, 113586209 edges, 12893 markings/sec, 1570 secs
lola: 20024307 markings, 113959803 edges, 12135 markings/sec, 1575 secs
lola: 20087876 markings, 114313515 edges, 12714 markings/sec, 1580 secs
lola: 20147904 markings, 114678437 edges, 12006 markings/sec, 1585 secs
lola: 20209932 markings, 115033526 edges, 12406 markings/sec, 1590 secs
lola: 20273990 markings, 115391496 edges, 12812 markings/sec, 1595 secs
lola: 20335221 markings, 115752854 edges, 12246 markings/sec, 1600 secs
lola: 20397154 markings, 116114894 edges, 12387 markings/sec, 1605 secs
lola: 20457725 markings, 116471840 edges, 12114 markings/sec, 1610 secs
lola: 20519136 markings, 116837782 edges, 12282 markings/sec, 1615 secs
lola: 20579944 markings, 117196241 edges, 12162 markings/sec, 1620 secs
lola: 20639873 markings, 117555595 edges, 11986 markings/sec, 1625 secs
lola: 20699846 markings, 117941285 edges, 11995 markings/sec, 1630 secs
lola: 20762540 markings, 118299721 edges, 12539 markings/sec, 1635 secs
lola: 20826259 markings, 118654758 edges, 12744 markings/sec, 1640 secs
lola: 20889026 markings, 119005225 edges, 12553 markings/sec, 1645 secs
lola: 20949012 markings, 119367543 edges, 11997 markings/sec, 1650 secs
lola: 21008989 markings, 119743380 edges, 11995 markings/sec, 1655 secs
lola: 21071006 markings, 120102714 edges, 12403 markings/sec, 1660 secs
lola: 21129798 markings, 120474201 edges, 11758 markings/sec, 1665 secs
lola: 21190277 markings, 120840178 edges, 12096 markings/sec, 1670 secs
lola: 21250475 markings, 121207739 edges, 12040 markings/sec, 1675 secs
lola: 21310752 markings, 121574057 edges, 12055 markings/sec, 1680 secs
lola: 21377369 markings, 121927229 edges, 13323 markings/sec, 1685 secs
lola: 21450699 markings, 122246284 edges, 14666 markings/sec, 1690 secs
lola: 21522094 markings, 122565695 edges, 14279 markings/sec, 1695 secs
lola: 21591252 markings, 122890825 edges, 13832 markings/sec, 1700 secs
lola: 21657920 markings, 123227370 edges, 13334 markings/sec, 1705 secs
lola: 21718694 markings, 123593126 edges, 12155 markings/sec, 1710 secs
lola: 21719498 markings, 124257952 edges, 161 markings/sec, 1715 secs
lola: 21767375 markings, 124684672 edges, 9575 markings/sec, 1720 secs
lola: 21829130 markings, 125059145 edges, 12351 markings/sec, 1725 secs
lola: 21890578 markings, 125433320 edges, 12290 markings/sec, 1730 secs
lola: 21957672 markings, 125805323 edges, 13419 markings/sec, 1735 secs
lola: 22019597 markings, 126172795 edges, 12385 markings/sec, 1740 secs
lola: 22081495 markings, 126548926 edges, 12380 markings/sec, 1745 secs
lola: 22124905 markings, 127009585 edges, 8682 markings/sec, 1750 secs
lola: 22153659 markings, 127556159 edges, 5751 markings/sec, 1755 secs
lola: 22184973 markings, 128088934 edges, 6263 markings/sec, 1760 secs
lola: 22209315 markings, 128655176 edges, 4868 markings/sec, 1765 secs
lola: 22299655 markings, 128881144 edges, 18068 markings/sec, 1770 secs
lola: 22385657 markings, 129119348 edges, 17200 markings/sec, 1775 secs
lola: 22466384 markings, 129396137 edges, 16145 markings/sec, 1780 secs
lola: 22530246 markings, 129777988 edges, 12772 markings/sec, 1785 secs
lola: 22593181 markings, 130156176 edges, 12587 markings/sec, 1790 secs
lola: 22657785 markings, 130529500 edges, 12921 markings/sec, 1795 secs
lola: 22724276 markings, 130900412 edges, 13298 markings/sec, 1800 secs
lola: 22789415 markings, 131284413 edges, 13028 markings/sec, 1805 secs
lola: 22853289 markings, 131665665 edges, 12775 markings/sec, 1810 secs
lola: 22916342 markings, 132032221 edges, 12611 markings/sec, 1815 secs
lola: 22978406 markings, 132390159 edges, 12413 markings/sec, 1820 secs
lola: 23041918 markings, 132755120 edges, 12702 markings/sec, 1825 secs
lola: 23108391 markings, 133115869 edges, 13295 markings/sec, 1830 secs
lola: 23174336 markings, 133474559 edges, 13189 markings/sec, 1835 secs
lola: 23237753 markings, 133841283 edges, 12683 markings/sec, 1840 secs
lola: 23306043 markings, 134204124 edges, 13658 markings/sec, 1845 secs
lola: 23374358 markings, 134568405 edges, 13663 markings/sec, 1850 secs
lola: 23442826 markings, 134929429 edges, 13694 markings/sec, 1855 secs
lola: 23508601 markings, 135296803 edges, 13155 markings/sec, 1860 secs
lola: 23573733 markings, 135657248 edges, 13026 markings/sec, 1865 secs
lola: 23638277 markings, 136025542 edges, 12909 markings/sec, 1870 secs
lola: 23704122 markings, 136382283 edges, 13169 markings/sec, 1875 secs
lola: 23768970 markings, 136750965 edges, 12970 markings/sec, 1880 secs
lola: 23835053 markings, 137115561 edges, 13217 markings/sec, 1885 secs
lola: 23900814 markings, 137475047 edges, 13152 markings/sec, 1890 secs
lola: 23966582 markings, 137835463 edges, 13154 markings/sec, 1895 secs
lola: 24026934 markings, 138215958 edges, 12070 markings/sec, 1900 secs
lola: 24091796 markings, 138578708 edges, 12972 markings/sec, 1905 secs
lola: 24156509 markings, 138937302 edges, 12943 markings/sec, 1910 secs
lola: 24220688 markings, 139303086 edges, 12836 markings/sec, 1915 secs
lola: 24282896 markings, 139654769 edges, 12442 markings/sec, 1920 secs
lola: 24345607 markings, 140014190 edges, 12542 markings/sec, 1925 secs
lola: 24409369 markings, 140378747 edges, 12752 markings/sec, 1930 secs
lola: 24471820 markings, 140730892 edges, 12490 markings/sec, 1935 secs
lola: 24535436 markings, 141099166 edges, 12723 markings/sec, 1940 secs
lola: 24598745 markings, 141462018 edges, 12662 markings/sec, 1945 secs
lola: 24662019 markings, 141825602 edges, 12655 markings/sec, 1950 secs
lola: 24725705 markings, 142190345 edges, 12737 markings/sec, 1955 secs
lola: 24786134 markings, 142556818 edges, 12086 markings/sec, 1960 secs
lola: 24845063 markings, 142928475 edges, 11786 markings/sec, 1965 secs
lola: 24907237 markings, 143285079 edges, 12435 markings/sec, 1970 secs
lola: 24968729 markings, 143633711 edges, 12298 markings/sec, 1975 secs
lola: 25031500 markings, 143989257 edges, 12554 markings/sec, 1980 secs
lola: 25095135 markings, 144335772 edges, 12727 markings/sec, 1985 secs
lola: 25157408 markings, 144690869 edges, 12455 markings/sec, 1990 secs
lola: 25218733 markings, 145051088 edges, 12265 markings/sec, 1995 secs
lola: 25280997 markings, 145407557 edges, 12453 markings/sec, 2000 secs
lola: 25344380 markings, 145767462 edges, 12677 markings/sec, 2005 secs
lola: 25406024 markings, 146128568 edges, 12329 markings/sec, 2010 secs
lola: 25468311 markings, 146478471 edges, 12457 markings/sec, 2015 secs
lola: 25529674 markings, 146836052 edges, 12273 markings/sec, 2020 secs
lola: 25592038 markings, 147201521 edges, 12473 markings/sec, 2025 secs
lola: 25655943 markings, 147557337 edges, 12781 markings/sec, 2030 secs
lola: 25716840 markings, 147913530 edges, 12179 markings/sec, 2035 secs
lola: 25778496 markings, 148270874 edges, 12331 markings/sec, 2040 secs
lola: 25841311 markings, 148623862 edges, 12563 markings/sec, 2045 secs
lola: 25902538 markings, 148991863 edges, 12245 markings/sec, 2050 secs
lola: 25964411 markings, 149344760 edges, 12375 markings/sec, 2055 secs
lola: 26027355 markings, 149694471 edges, 12589 markings/sec, 2060 secs
lola: 26088484 markings, 150056797 edges, 12226 markings/sec, 2065 secs
lola: 26148519 markings, 150438063 edges, 12007 markings/sec, 2070 secs
lola: 26209972 markings, 150831141 edges, 12291 markings/sec, 2075 secs
lola: 26271181 markings, 151220126 edges, 12242 markings/sec, 2080 secs
lola: 26332133 markings, 151603925 edges, 12190 markings/sec, 2085 secs
lola: 26391774 markings, 151989578 edges, 11928 markings/sec, 2090 secs
lola: 26452010 markings, 152378720 edges, 12047 markings/sec, 2095 secs
lola: 26511763 markings, 152761206 edges, 11951 markings/sec, 2100 secs
lola: 26571244 markings, 153137889 edges, 11896 markings/sec, 2105 secs
lola: 26631533 markings, 153516900 edges, 12058 markings/sec, 2110 secs
lola: 26691980 markings, 153903212 edges, 12089 markings/sec, 2115 secs
lola: 26754976 markings, 154268398 edges, 12599 markings/sec, 2120 secs
lola: 26818770 markings, 154617314 edges, 12759 markings/sec, 2125 secs
lola: 26883203 markings, 154961781 edges, 12887 markings/sec, 2130 secs
lola: 26947178 markings, 155308648 edges, 12795 markings/sec, 2135 secs
lola: 27008921 markings, 155664935 edges, 12349 markings/sec, 2140 secs
lola: 27072319 markings, 156018210 edges, 12680 markings/sec, 2145 secs
lola: 27133612 markings, 156378035 edges, 12259 markings/sec, 2150 secs
lola: 27193283 markings, 156740151 edges, 11934 markings/sec, 2155 secs
lola: 27256090 markings, 157096049 edges, 12561 markings/sec, 2160 secs
lola: 27318171 markings, 157450734 edges, 12416 markings/sec, 2165 secs
lola: 27383259 markings, 157806505 edges, 13018 markings/sec, 2170 secs
lola: 27449914 markings, 158164042 edges, 13331 markings/sec, 2175 secs
lola: 27515684 markings, 158525657 edges, 13154 markings/sec, 2180 secs
lola: 27580517 markings, 158893758 edges, 12967 markings/sec, 2185 secs
lola: 27645764 markings, 159260098 edges, 13049 markings/sec, 2190 secs
lola: 27708546 markings, 159634842 edges, 12556 markings/sec, 2195 secs
lola: 27770750 markings, 160007459 edges, 12441 markings/sec, 2200 secs
lola: 27834006 markings, 160371765 edges, 12651 markings/sec, 2205 secs
lola: 27899799 markings, 160735108 edges, 13159 markings/sec, 2210 secs
lola: 27966282 markings, 161095136 edges, 13297 markings/sec, 2215 secs
lola: 28033419 markings, 161455144 edges, 13427 markings/sec, 2220 secs
lola: 28098414 markings, 161819979 edges, 12999 markings/sec, 2225 secs
lola: 28162504 markings, 162184990 edges, 12818 markings/sec, 2230 secs
lola: 28226560 markings, 162543608 edges, 12811 markings/sec, 2235 secs
lola: 28287205 markings, 162917534 edges, 12129 markings/sec, 2240 secs
lola: 28350378 markings, 163278578 edges, 12635 markings/sec, 2245 secs
lola: 28411862 markings, 163641113 edges, 12297 markings/sec, 2250 secs
lola: 28472579 markings, 164023679 edges, 12143 markings/sec, 2255 secs
lola: 28535026 markings, 164381364 edges, 12489 markings/sec, 2260 secs
lola: 28596945 markings, 164748284 edges, 12384 markings/sec, 2265 secs
lola: 28659771 markings, 165097737 edges, 12565 markings/sec, 2270 secs
lola: 28721045 markings, 165457793 edges, 12255 markings/sec, 2275 secs
lola: 28779498 markings, 165834450 edges, 11691 markings/sec, 2280 secs
lola: 28839734 markings, 166191615 edges, 12047 markings/sec, 2285 secs
lola: time limit reached - aborting
lola:
preliminary result: 7 7 7 7 7 7 6 6 unknown unknown 1 1 1 1 unknown unknown
lola:
preliminary result: 7 7 7 7 7 7 6 6 unknown unknown 1 1 1 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 7 7 7 7 7 7 6 6 unknown unknown 1 1 1 1 unknown unknown
lola: memory consumption: 3039616 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 7 7 7 7 7 7 6 6 unknown unknown 1 1 1 1 unknown unknown
lola: memory consumption: 3039844 KB
lola: time consumption: 3570 seconds
BK_STOP 1553046327707
--------------------
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-6"
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-6, 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-155272242400187"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Peterson-PT-6.tgz
mv Peterson-PT-6 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 '
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 ;