MCC'2021- Execution of r061-tall-162038393100337

About the Execution of LoLA for DLCround-PT-07a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16246.367	1709381.00	3746512.00	4435.10	T????F??????????	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.
Waiting for the VM to be
..................................
............
..................................
..................................
..................................
..................................
..................................
==================================
Generated by BenchKit 2-4028
Executing tool lola
Input is DLCround-PT-07a,
Time confinement
Memory confinement is
Number of cores is 4
Run identifier is r061-tall-16
==================================

--------------------
preparation of the directory
/home/mcc/execution
total 792K
-rw-r--r-- 1 mcc users 14K May
-rw-r--r-- 1 mcc users 139K
-rw-r--r-- 1 mcc users 9.1K May
-rw-r--r-- 1 mcc users 83K
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.4K May
-rw-r--r-- 1 mcc users 3.4K
-rw-r--r-- 1 mcc users 26K
-rw-r--r-- 1 mcc users 2.0K
-rw-r--r-- 1 mcc users 17K
-rw-r--r-- 1 mcc users 3.3K
-rw-r--r-- 1 mcc users 17K
-rw-r--r-- 1 mcc users 2.7K
-rw-r--r-- 1 mcc users 17K
-rw-r--r-- 1 mcc users 1.6K
-rw-r--r-- 1 mcc users 3.6K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 398K May

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

=== Data for post analysis

The expected result is a
BOOL_VECTOR

here is the order used to
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa
FORMULA_NAME DLCround-PT-07a-CTLCa

=== Now, execution of the

BK_START 1620819989228

starting LoLA
BK_INPUT DLCround-PT-07a
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/
current directory: /home/mcc/execu

FORMULA DLCround-PT-07a-CTLCardinality-00

FORMULA DLCround-PT-07a-CTLCardinality-05

BK_STOP 1620821698609

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file /home/mcc/
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula from
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 60
lola: time limit : 171 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: FINISHED task # 60
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 49
lola: time limit : 179 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-05:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 0/179

Time elapsed: 11 secs.
# running tasks: 1 of 4 Visible:
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 63
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 64
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 66
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: FINISHED task # 66
lola: result
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
sara: try reading problem
sara: place or transition
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo

lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: FINISHED task # 64
lola: result
lola: CANCELED task # 63
lola: FINISHED task # 63
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 67
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 68
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 70
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/fo
sara: try reading problem
sara: place or transition

lola: FINISHED task # 70
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task # 68
lola: result
lola: CANCELED task # 67
lola: FINISHED task # 67
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 5/224

Time elapsed: 16 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 10/224

Time elapsed: 21 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 15/224

Time elapsed: 26 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 20/224

Time elapsed: 31 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 25/224

Time elapsed: 36 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 30/224

Time elapsed: 41 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 35/224

Time elapsed: 46 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 40/224

Time elapsed: 51 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 45/224

Time elapsed: 56 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 50/224

Time elapsed: 61 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 55/224

Time elapsed: 66 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 60/224

Time elapsed: 71 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 65/224

Time elapsed: 76 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 70/224

Time elapsed: 81 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 75/224

Time elapsed: 86 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 80/224

Time elapsed: 91 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 85/224

Time elapsed: 96 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 90/224

Time elapsed: 101 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 95/224

Time elapsed: 106 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 100/224

Time elapsed: 111 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 105/224

Time elapsed: 116 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 110/224

Time elapsed: 121 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 115/224

Time elapsed: 126 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 120/224

Time elapsed: 131 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 125/224

Time elapsed: 136 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 130/224

Time elapsed: 141 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 135/224

Time elapsed: 146 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 140/224

Time elapsed: 151 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 145/224

Time elapsed: 156 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 150/224

Time elapsed: 161 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 155/224

Time elapsed: 166 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 160/224

Time elapsed: 171 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 165/224

Time elapsed: 176 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 170/224

Time elapsed: 181 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 175/224

Time elapsed: 186 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 180/224

Time elapsed: 191 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 185/224

Time elapsed: 196 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 190/224

Time elapsed: 201 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 195/224

Time elapsed: 206 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 200/224

Time elapsed: 211 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 205/224

Time elapsed: 216 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 210/224

Time elapsed: 221 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 215/224

Time elapsed: 226 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 220/224

Time elapsed: 231 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 49
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 236 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 58
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 49
lola: time limit : 3364 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 5/3364
58 CTL EXCL 5/224

Time elapsed: 241 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 10/3364
58 CTL EXCL 10/210

Time elapsed: 246 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 15/3364
58 CTL EXCL 15/210

Time elapsed: 251 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 20/3364
58 CTL EXCL 20/210

Time elapsed: 256 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 25/3364
58 CTL EXCL 25/210

Time elapsed: 261 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 30/3364
58 CTL EXCL 30/210

Time elapsed: 266 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 35/3364
58 CTL EXCL 35/210

Time elapsed: 271 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 40/3364
58 CTL EXCL 40/210

Time elapsed: 276 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 45/3364
58 CTL EXCL 45/210

Time elapsed: 281 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 50/3364
58 CTL EXCL 50/210

Time elapsed: 286 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 55/3364
58 CTL EXCL 55/210

Time elapsed: 291 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 60/3364
58 CTL EXCL 60/210

Time elapsed: 296 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 65/3364
58 CTL EXCL 65/210

Time elapsed: 301 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 70/3364
58 CTL EXCL 70/210

Time elapsed: 306 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 75/3364
58 CTL EXCL 75/210

Time elapsed: 311 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 80/3364
58 CTL EXCL 80/210

Time elapsed: 316 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 85/3364
58 CTL EXCL 85/210

Time elapsed: 321 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 90/3364
58 CTL EXCL 90/210

Time elapsed: 326 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 95/3364
58 CTL EXCL 95/210

Time elapsed: 331 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 100/3364
58 CTL EXCL 100/210

Time elapsed: 336 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
49 CTL EXCL 105/3364
58 CTL EXCL 105/210

Time elapsed: 341 secs.
# running tasks: 2 of 4 Visible:
lola: CANCELED task # 49
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 110/210

Time elapsed: 346 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 115/224

Time elapsed: 351 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 120/224

Time elapsed: 356 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 125/224

Time elapsed: 361 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 130/224

Time elapsed: 366 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 135/224

Time elapsed: 371 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 140/224

Time elapsed: 376 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 145/224

Time elapsed: 381 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 150/224

Time elapsed: 386 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 155/224

Time elapsed: 391 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 160/224

Time elapsed: 396 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 165/224

Time elapsed: 401 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 170/224

Time elapsed: 406 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 175/224

Time elapsed: 411 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 180/224

Time elapsed: 416 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 185/224

Time elapsed: 421 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 190/224

Time elapsed: 426 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 195/224

Time elapsed: 431 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 200/224

Time elapsed: 436 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 205/224

Time elapsed: 441 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 210/224

Time elapsed: 446 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 215/224

Time elapsed: 451 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 220/224

Time elapsed: 456 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 58
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 461 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 55
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 58
lola: time limit : 3139 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 5/224
58 CTL EXCL 5/3139

Time elapsed: 466 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 10/224
58 CTL EXCL 10/209

Time elapsed: 471 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 15/224
58 CTL EXCL 15/209

Time elapsed: 476 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 20/224
58 CTL EXCL 20/209

Time elapsed: 481 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 25/224
58 CTL EXCL 25/209

Time elapsed: 486 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 30/224
58 CTL EXCL 30/209

Time elapsed: 491 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:
DLCround-PT-07a-CTLCardinality-03:
DLCround-PT-07a-CTLCardinality-04:
DLCround-PT-07a-CTLCardinality-06:
DLCround-PT-07a-CTLCardinality-07:
DLCround-PT-07a-CTLCardinality-08:
DLCround-PT-07a-CTLCardinality-09:
DLCround-PT-07a-CTLCardinality-10:
DLCround-PT-07a-CTLCardinality-11:
DLCround-PT-07a-CTLCardinality-12:
DLCround-PT-07a-CTLCardinality-13:
DLCround-PT-07a-CTLCardinality-14:
DLCround-PT-07a-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 35/224
58 CTL EXCL 35/209

Time elapsed: 496 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
DLCround-PT-07a-CTLCardinality-00:
DLCround-PT-07a-CTLCardinality-05:

PENDING FORMULAS: CATEGORY
DLCround-PT-07a-CTLCardinality-01:
DLCround-PT-07a-CTLCardinality-02:

========== file over 1MB
retrieve it from the run
r061-tall-162038393100337.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off ready (probing ssh) .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =================================== examination is CTLCardinality is 3600 seconds 16384 MBytes 2038393100337 =================================== to be used: 5 16:58 CTLCardinality.txt May 10 09:42 CTLCardinality.xml 5 16:58 CTLFireability.txt May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml Mar 28 15:58 LTLCardinality.txt Mar 28 15:58 LTLCardinality.xml Mar 28 15:58 LTLFireability.txt Mar 28 15:58 LTLFireability.xml Mar 23 08:04 ReachabilityCardinality.txt Mar 23 08:04 ReachabilityCardinality.xml Mar 22 15:35 ReachabilityFireability.txt Mar 22 15:35 ReachabilityFireability.xml Mar 22 09:10 UpperBounds.txt Mar 22 09:10 UpperBounds.xml 6 May 5 16:51 equiv_col 4 May 5 16:51 instance 6 May 5 16:51 iscolored 5 16:51 model.pnml generated by BenchKit (invocation template) vector of booleans build the result vector(from text file) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 tool begins bin tion TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net execution/model.pnml (--xmlformula) /home/mcc/execution/CTLCardinality.xml rmula_rewrite.k:457 rmula_rewrite.k:475 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:460 rmula_rewrite.k:317 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:550 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:314 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:340 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:253 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:400 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:340 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:478 rmula_rewrite.k:391 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:299 rmula_rewrite.k:314 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:340 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 1.000000 secs. in 0.000000 secs. rmula_rewrite.k:726 rmula_rewrite.k:787 (type EXCL) for 0 DLCround-PT-07a-CTLCardinality-00 rmula_rewrite.k:679 rmula_rewrite.k:679 rmula_rewrite.k:812 rmula_rewrite.k:809 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:809 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:815 rmula_rewrite.k:815 rmula_rewrite.k:814 (type EXCL) for DLCround-PT-07a-CTLCardinality-00 : false 25 269 1.000000 1 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:809 rmula_rewrite.k:809 rmula_rewrite.k:808 rmula_rewrite.k:811 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:808 rmula_rewrite.k:807 rmula_rewrite.k:813 (type EXCL) for 48 DLCround-PT-07a-CTLCardinality-12 VALUE PRODUCED BY EFAG true tscc_search IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 EF 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 DISJ 1 0 0 0 4 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 0/32 DLCround-PT-07a-CTLCardinality-12 -- Pages in use: 1 16 in 2.000000 secs. rmula_rewrite.k:721 rmula_rewrite.k:788 rmula_rewrite.k:721 rmula_rewrite.k:788 rmula_rewrite.k:721 rmula_rewrite.k:788 (type FNDP) for 33 DLCround-PT-07a-CTLCardinality-11 sec (type EQUN) for 33 DLCround-PT-07a-CTLCardinality-11 sec (type SRCH) for 33 DLCround-PT-07a-CTLCardinality-11 sec (type SRCH) for DLCround-PT-07a-CTLCardinality-11 : unknown 0.000000 1 rmula_rewrite.k:721 rmula_rewrite.k:788 file /home/mcc/execution/CTLCardinality-64.sara. ordering is non-deterministic in 0.000000 secs. rmula_rewrite.k:806 rmula_rewrite.k:809 rmula_rewrite.k:808 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:811 (type EQUN) for DLCround-PT-07a-CTLCardinality-11 : false (type FNDP) for DLCround-PT-07a-CTLCardinality-11 (obsolete) (type FNDP) for DLCround-PT-07a-CTLCardinality-11 : unknown 62893 2 0.000000 0 rmula_rewrite.k:814 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:808 rmula_rewrite.k:808 rmula_rewrite.k:810 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:812 rmula_rewrite.k:808 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:811 rmula_rewrite.k:812 rmula_rewrite.k:807 rmula_rewrite.k:808 rmula_rewrite.k:814 rmula_rewrite.k:809 rmula_rewrite.k:808 rmula_rewrite.k:815 rmula_rewrite.k:806 rmula_rewrite.k:811 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:815 rmula_rewrite.k:812 rmula_rewrite.k:814 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:809 rmula_rewrite.k:810 rmula_rewrite.k:811 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:815 rmula_rewrite.k:806 rmula_rewrite.k:809 rmula_rewrite.k:813 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:808 rmula_rewrite.k:809 rmula_rewrite.k:809 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:711 rmula_rewrite.k:711 rmula_rewrite.k:711 (type FNDP) for 15 DLCround-PT-07a-CTLCardinality-05 sec (type EQUN) for 15 DLCround-PT-07a-CTLCardinality-05 sec (type SRCH) for 15 DLCround-PT-07a-CTLCardinality-05 sec rmula_rewrite.k:711 file /home/mcc/execution/CTLCardinality-68.sara. ordering is non-deterministic (type SRCH) for DLCround-PT-07a-CTLCardinality-05 : unknown 0.000000 1 (type EQUN) for DLCround-PT-07a-CTLCardinality-05 : false (type FNDP) for DLCround-PT-07a-CTLCardinality-05 (obsolete) (type FNDP) for DLCround-PT-07a-CTLCardinality-05 : unknown 39094 2 1.000000 0 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-12 46170 m, 9234 m/sec, 873709 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-12 114550 m, 13676 m/sec, 2180598 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-12 183156 m, 13721 m/sec, 3534082 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-07a-CTLCardinality-12 248618 m, 13092 m/sec, 4813659 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-07a-CTLCardinality-12 314216 m, 13119 m/sec, 6108934 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-07a-CTLCardinality-12 384267 m, 14010 m/sec, 7445110 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-07a-CTLCardinality-12 450954 m, 13337 m/sec, 8770335 t fired, . Pages in use: 2 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-07a-CTLCardinality-12 519131 m, 13635 m/sec, 10091681 t fired, . Pages in use: 3 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-07a-CTLCardinality-12 582572 m, 12688 m/sec, 11394823 t fired, . Pages in use: 3 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-07a-CTLCardinality-12 644647 m, 12415 m/sec, 12642810 t fired, . Pages in use: 3 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DLCround-PT-07a-CTLCardinality-12 711576 m, 13385 m/sec, 14001182 t fired, . Pages in use: 3 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCround-PT-07a-CTLCardinality-12 782578 m, 14200 m/sec, 15366204 t fired, . Pages in use: 4 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCround-PT-07a-CTLCardinality-12 847644 m, 13013 m/sec, 16636916 t fired, . Pages in use: 4 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DLCround-PT-07a-CTLCardinality-12 912532 m, 12977 m/sec, 17912571 t fired, . Pages in use: 4 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-07a-CTLCardinality-12 978380 m, 13169 m/sec, 19261416 t fired, . Pages in use: 5 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-07a-CTLCardinality-12 1044197 m, 13163 m/sec, 20577655 t fired, . Pages in use: 5 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-07a-CTLCardinality-12 1107219 m, 12604 m/sec, 21864445 t fired, . Pages in use: 5 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DLCround-PT-07a-CTLCardinality-12 1168536 m, 12263 m/sec, 23133811 t fired, . Pages in use: 5 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-12 1233627 m, 13018 m/sec, 24398628 t fired, . Pages in use: 6 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-12 1296770 m, 12628 m/sec, 25673215 t fired, . Pages in use: 6 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-12 1364957 m, 13637 m/sec, 26984896 t fired, . Pages in use: 6 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-12 1429480 m, 12904 m/sec, 28240515 t fired, . Pages in use: 6 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-12 1491358 m, 12375 m/sec, 29494663 t fired, . Pages in use: 7 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-12 1553764 m, 12481 m/sec, 30766137 t fired, . Pages in use: 7 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-12 1617832 m, 12813 m/sec, 32008583 t fired, . Pages in use: 7 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-12 1678184 m, 12070 m/sec, 33270021 t fired, . Pages in use: 7 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-12 1739809 m, 12325 m/sec, 34516732 t fired, . Pages in use: 8 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-12 1801287 m, 12295 m/sec, 35774326 t fired, . Pages in use: 8 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-12 1861791 m, 12100 m/sec, 36970081 t fired, . Pages in use: 8 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-12 1921885 m, 12018 m/sec, 38182726 t fired, . Pages in use: 8 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-12 1985256 m, 12674 m/sec, 39400639 t fired, . Pages in use: 9 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-12 2046299 m, 12208 m/sec, 40633906 t fired, . Pages in use: 9 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-12 2109270 m, 12594 m/sec, 41877512 t fired, . Pages in use: 9 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-12 2169232 m, 11992 m/sec, 43112317 t fired, . Pages in use: 9 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-12 2229599 m, 12073 m/sec, 44340855 t fired, . Pages in use: 10 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-12 2287648 m, 11609 m/sec, 45513422 t fired, . Pages in use: 10 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-12 2348565 m, 12183 m/sec, 46753096 t fired, . Pages in use: 10 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-12 2409143 m, 12115 m/sec, 47991635 t fired, . Pages in use: 10 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-12 2472084 m, 12588 m/sec, 49278626 t fired, . Pages in use: 11 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-12 2534913 m, 12565 m/sec, 50544722 t fired, . Pages in use: 11 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-12 2598991 m, 12815 m/sec, 51820870 t fired, . Pages in use: 11 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-12 2656400 m, 11481 m/sec, 53006114 t fired, . Pages in use: 11 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 DLCround-PT-07a-CTLCardinality-12 2715102 m, 11740 m/sec, 54224917 t fired, . Pages in use: 12 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 DLCround-PT-07a-CTLCardinality-12 2782976 m, 13574 m/sec, 55516707 t fired, . Pages in use: 12 16 (type EXCL) for DLCround-PT-07a-CTLCardinality-12 (local timeout) VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 1 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 12 16 (type EXCL) for 57 DLCround-PT-07a-CTLCardinality-15 (type EXCL) for 48 DLCround-PT-07a-CTLCardinality-12 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 DLCround-PT-07a-CTLCardinality-12 56949 m, -545205 m/sec, 1084203 t fired, . 1/32 DLCround-PT-07a-CTLCardinality-15 59768 m, 11953 m/sec, 1134650 t fired, . Pages in use: 15 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 DLCround-PT-07a-CTLCardinality-12 119311 m, 12472 m/sec, 2269330 t fired, . 1/32 DLCround-PT-07a-CTLCardinality-15 120836 m, 12213 m/sec, 2302438 t fired, . Pages in use: 15 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 DLCround-PT-07a-CTLCardinality-12 170959 m, 10329 m/sec, 3295493 t fired, . 1/32 DLCround-PT-07a-CTLCardinality-15 173262 m, 10485 m/sec, 3337433 t fired, . Pages in use: 15 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 DLCround-PT-07a-CTLCardinality-12 227183 m, 11244 m/sec, 4422415 t fired, . 1/32 DLCround-PT-07a-CTLCardinality-15 229518 m, 11251 m/sec, 4463324 t fired, . Pages in use: 15 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-07a-CTLCardinality-12 284017 m, 11366 m/sec, 5511189 t fired, . 2/32 DLCround-PT-07a-CTLCardinality-15 284607 m, 11017 m/sec, 5524789 t fired, . Pages in use: 17 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-07a-CTLCardinality-12 331206 m, 9437 m/sec, 6421881 t fired, . 2/32 DLCround-PT-07a-CTLCardinality-15 331459 m, 9370 m/sec, 6425874 t fired, . Pages in use: 18 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-07a-CTLCardinality-12 394307 m, 12620 m/sec, 7645174 t fired, . 2/32 DLCround-PT-07a-CTLCardinality-15 391867 m, 12081 m/sec, 7599820 t fired, . Pages in use: 18 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 DLCround-PT-07a-CTLCardinality-12 455828 m, 12304 m/sec, 8855963 t fired, . 2/32 DLCround-PT-07a-CTLCardinality-15 449472 m, 11521 m/sec, 8742325 t fired, . Pages in use: 18 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-07a-CTLCardinality-12 515399 m, 11914 m/sec, 10019181 t fired, . 3/32 DLCround-PT-07a-CTLCardinality-15 507130 m, 11531 m/sec, 9855775 t fired, . Pages in use: 20 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-07a-CTLCardinality-12 571927 m, 11305 m/sec, 11168828 t fired, . 3/32 DLCround-PT-07a-CTLCardinality-15 563210 m, 11216 m/sec, 10992914 t fired, . Pages in use: 20 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-07a-CTLCardinality-12 633081 m, 12230 m/sec, 12400341 t fired, . 3/32 DLCround-PT-07a-CTLCardinality-15 623567 m, 12071 m/sec, 12210327 t fired, . Pages in use: 21 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 DLCround-PT-07a-CTLCardinality-12 684183 m, 10220 m/sec, 13436989 t fired, . 3/32 DLCround-PT-07a-CTLCardinality-15 675140 m, 10314 m/sec, 13244451 t fired, . Pages in use: 21 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-07a-CTLCardinality-12 744446 m, 12052 m/sec, 14624714 t fired, . 4/32 DLCround-PT-07a-CTLCardinality-15 733234 m, 11618 m/sec, 14414826 t fired, . Pages in use: 23 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-07a-CTLCardinality-12 805550 m, 12220 m/sec, 15824090 t fired, . 4/32 DLCround-PT-07a-CTLCardinality-15 795398 m, 12432 m/sec, 15630040 t fired, . Pages in use: 23 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-07a-CTLCardinality-12 866046 m, 12099 m/sec, 16989316 t fired, . 4/32 DLCround-PT-07a-CTLCardinality-15 857934 m, 12507 m/sec, 16828641 t fired, . Pages in use: 24 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 DLCround-PT-07a-CTLCardinality-12 916515 m, 10093 m/sec, 17992747 t fired, . 4/32 DLCround-PT-07a-CTLCardinality-15 909441 m, 10301 m/sec, 17848017 t fired, . Pages in use: 24 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-07a-CTLCardinality-12 974906 m, 11678 m/sec, 19189656 t fired, . 4/32 DLCround-PT-07a-CTLCardinality-15 966064 m, 11324 m/sec, 19014834 t fired, . Pages in use: 25 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-07a-CTLCardinality-12 1024824 m, 9983 m/sec, 20197642 t fired, . 5/32 DLCround-PT-07a-CTLCardinality-15 1017311 m, 10249 m/sec, 20046897 t fired, . Pages in use: 26 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-07a-CTLCardinality-12 1082679 m, 11571 m/sec, 21364524 t fired, . 5/32 DLCround-PT-07a-CTLCardinality-15 1074932 m, 11524 m/sec, 21201841 t fired, . Pages in use: 26 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-07a-CTLCardinality-12 1134503 m, 10364 m/sec, 22429674 t fired, . 5/32 DLCround-PT-07a-CTLCardinality-15 1126729 m, 10359 m/sec, 22273957 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 DLCround-PT-07a-CTLCardinality-12 1180800 m, 9259 m/sec, 23398982 t fired, . 5/32 DLCround-PT-07a-CTLCardinality-15 1174197 m, 9493 m/sec, 23255225 t fired, . Pages in use: 27 16 (type EXCL) for DLCround-PT-07a-CTLCardinality-12 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-15 1240396 m, 13239 m/sec, 24541671 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-15 1299141 m, 11749 m/sec, 25728701 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-15 1365620 m, 13295 m/sec, 26999217 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DLCround-PT-07a-CTLCardinality-15 1427634 m, 12402 m/sec, 28205849 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-15 1491932 m, 12859 m/sec, 29506109 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-15 1553481 m, 12309 m/sec, 30760478 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-15 1617688 m, 12841 m/sec, 32006245 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DLCround-PT-07a-CTLCardinality-15 1679010 m, 12264 m/sec, 33286184 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-15 1738898 m, 11977 m/sec, 34499287 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-15 1800900 m, 12400 m/sec, 35766009 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-15 1863591 m, 12538 m/sec, 37004345 t fired, . Pages in use: 27 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DLCround-PT-07a-CTLCardinality-15 1920706 m, 11423 m/sec, 38157505 t fired, . Pages in use: 28 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-15 1985895 m, 13037 m/sec, 39412878 t fired, . Pages in use: 29 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-15 2044225 m, 11666 m/sec, 40596474 t fired, . Pages in use: 29 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-15 2106253 m, 12405 m/sec, 41817850 t fired, . Pages in use: 29 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DLCround-PT-07a-CTLCardinality-15 2162032 m, 11155 m/sec, 42960857 t fired, . Pages in use: 30 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-15 2221067 m, 11807 m/sec, 44172505 t fired, . Pages in use: 31 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-15 2282714 m, 12329 m/sec, 45403805 t fired, . Pages in use: 31 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-15 2342494 m, 11956 m/sec, 46633812 t fired, . Pages in use: 31 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 DLCround-PT-07a-CTLCardinality-15 2402541 m, 12009 m/sec, 47861291 t fired, . Pages in use: 32 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-15 2463139 m, 12119 m/sec, 49096445 t fired, . Pages in use: 33 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-15 2522614 m, 11895 m/sec, 50285201 t fired, . Pages in use: 33 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 DLCround-PT-07a-CTLCardinality-15 2579783 m, 11433 m/sec, 51454187 t fired, . Pages in use: 33 16 (type EXCL) for DLCround-PT-07a-CTLCardinality-15 (local timeout) VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 1 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 34 16 (type EXCL) for 54 DLCround-PT-07a-CTLCardinality-14 (type EXCL) for 57 DLCround-PT-07a-CTLCardinality-15 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-14 51260 m, 10252 m/sec, 1181071 t fired, . 1/5 DLCround-PT-07a-CTLCardinality-15 64992 m, -502958 m/sec, 1243877 t fired, . Pages in use: 37 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-14 102046 m, 10157 m/sec, 2431049 t fired, . 1/5 DLCround-PT-07a-CTLCardinality-15 133150 m, 13631 m/sec, 2543426 t fired, . Pages in use: 37 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-14 149380 m, 9466 m/sec, 3539561 t fired, . 1/5 DLCround-PT-07a-CTLCardinality-15 190781 m, 11526 m/sec, 3681428 t fired, . Pages in use: 37 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-14 197202 m, 9564 m/sec, 4689527 t fired, . 2/5 DLCround-PT-07a-CTLCardinality-15 252272 m, 12298 m/sec, 4881579 t fired, . Pages in use: 38 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DLCround-PT-07a-CTLCardinality-14 227060 m, 5971 m/sec, 5438201 t fired, . 2/5 DLCround-PT-07a-CTLCardinality-15 287898 m, 7125 m/sec, 5590364 t fired, . Pages in use: 40 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-07a-CTLCardinality-14 266065 m, 7801 m/sec, 6398499 t fired, . 2/5 DLCround-PT-07a-CTLCardinality-15 341917 m, 10803 m/sec, 6624820 t fired, . Pages in use: 41 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 7 0 0 1 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DLCround-PT-07a-CTLCardinality-14 307796 m, 8346 m/sec, 7440728 t fired, . 2/5 DLCround-PT-07a-CTLCardinality-15 399193 m, 11455 m/sec, 7734823 t fired, . Pages in use: 41 16 VALUE PRODUCED BY EFAG true tscc_search EF false state equation IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 has been truncated ====== archives if needed

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="DLCround-PT-07a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is DLCround-PT-07a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r061-tall-162038393100337"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-07a.tgz
mv DLCround-PT-07a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;