MCC'2021- Execution of r080-tall-162048871200650

About the Execution of LoLA for Echo-PT-d03r07

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
14194.312	3600000.00	9135379.00	5376.50	?????T??TT????T?	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 Echo-PT-d03r07,
Time confinement
Memory confinement is
Number of cores is 4
Run identifier is r080-tall-1
=================================

--------------------
preparation of the directory
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 13K May
-rw-r--r-- 1 mcc users 107K
-rw-r--r-- 1 mcc users 13K May
-rw-r--r-- 1 mcc users 121K
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 5.9K May
-rw-r--r-- 1 mcc users 3.0K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 1.9K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 3.8K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 2.4K
-rw-r--r-- 1 mcc users
-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 2.2M May

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

=== Data for post analysis

The expected result is a
BOOL_VECTOR

here is the order used to
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi
FORMULA_NAME Echo-PT-d03r07-CTLFi

=== Now, execution of the

BK_START 1620824491008

starting LoLA
BK_INPUT Echo-PT-d03r07
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit
current directory: /home/mcc/exec
CTLFireability

FORMULA Echo-PT-d03r07-CTLFireability-09

FORMULA Echo-PT-d03r07-CTLFireability-08

FORMULA Echo-PT-d03r07-CTLFireability-05

FORMULA Echo-PT-d03r07-CTLFireability-14

BK_TIME_CONFINEMENT_REACHED

--------------------
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
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1708 secs.
# running tasks: 0 of 4
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1713 secs.
# running tasks: 0 of 4
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1718 secs.
# running tasks: 0 of 4
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1723 secs.
# running tasks: 0 of 4
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1728 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1733 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1738 secs.
# running tasks: 0 of 4
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1743 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1748 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1753 secs.
# running tasks: 0 of 4
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1758 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1763 secs.
# running tasks: 0 of 4
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1768 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1773 secs.
# running tasks: 0 of 4
lola: Created skeleton
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1778 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1783 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1788 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1793 secs.
# running tasks: 0 of 4
lola: Created skeleton
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1798 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1803 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1808 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1813 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1818 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1823 secs.
# running tasks: 0 of 4
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1828 secs.
# running tasks: 0 of 4
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: LAUNCH task # 4
lola: time limit : 80 sec
lola: memory limit: 32 pages
lola: Created skeleton
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 7/84

Time elapsed: 1835 secs.
# running tasks: 1 of 4
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: LAUNCH task # 69
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 70
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 72
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/f
lola: CANCELED task #
lola: CANCELED task #
lola: LAUNCH task # 77
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 78
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 80
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: FINISHED task #
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
sara: try reading problem
lola: CANCELED task #
lola: CANCELED task #
lola: LAUNCH task # 73
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 74
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 76
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/f
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: rewrite Frontend/Parser/f
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: CANCELED task #
lola: LAUNCH task # 82
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 83
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 85
lola: time limit :
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/f
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
sara: try reading problem
sara: try reading problem
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 12/126

Time elapsed: 1840 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 17/126

Time elapsed: 1845 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 22/126

Time elapsed: 1850 secs.
# running tasks: 1 of 4
sara: place or transition
sara: place or transition
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 27/126

Time elapsed: 1855 secs.
# running tasks: 1 of 4
sara: place or transition
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 32/126

Time elapsed: 1860 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 37/126

Time elapsed: 1865 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 42/126

Time elapsed: 1870 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 47/126

Time elapsed: 1875 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 52/126

Time elapsed: 1880 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 57/126

Time elapsed: 1885 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 62/126

Time elapsed: 1890 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 67/126

Time elapsed: 1895 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 72/126

Time elapsed: 1900 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 77/126

Time elapsed: 1905 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 82/126

Time elapsed: 1910 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 87/126

Time elapsed: 1915 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 92/126

Time elapsed: 1920 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 97/126

Time elapsed: 1925 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 102/126

Time elapsed: 1930 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 107/126

Time elapsed: 1935 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 112/126

Time elapsed: 1940 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 117/126

Time elapsed: 1945 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 122/126

Time elapsed: 1950 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-14:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 1955 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 63
lola: time limit : 126 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 4
lola: time limit : 1645 sec
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 4/126

Time elapsed: 1960 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 9/126

Time elapsed: 1965 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 14/126

Time elapsed: 1970 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 19/126

Time elapsed: 1975 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 24/126

Time elapsed: 1980 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 29/126

Time elapsed: 1985 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 34/126

Time elapsed: 1990 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 39/126

Time elapsed: 1995 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 44/126

Time elapsed: 2000 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 49/126

Time elapsed: 2005 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 54/126

Time elapsed: 2010 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 59/126

Time elapsed: 2015 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 64/126

Time elapsed: 2020 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 69/126

Time elapsed: 2025 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 74/126

Time elapsed: 2030 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 79/126

Time elapsed: 2035 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 84/126

Time elapsed: 2040 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 89/126

Time elapsed: 2045 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 94/126

Time elapsed: 2050 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 99/126

Time elapsed: 2055 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 104/126

Time elapsed: 2060 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 109/126

Time elapsed: 2065 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 114/126

Time elapsed: 2070 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 119/126

Time elapsed: 2075 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 125/126

Time elapsed: 2081 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 2086 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 60
lola: time limit : 126 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 4
lola: time limit : 1514 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 4/1514
60 CTL EXCL 5/126

Time elapsed: 2091 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY
Echo-PT-d03r07-CTLFireability-00:
Echo-PT-d03r07-CTLFireability-01:
Echo-PT-d03r07-CTLFireability-02:
Echo-PT-d03r07-CTLFireability-03:
Echo-PT-d03r07-CTLFireability-04:
Echo-PT-d03r07-CTLFireability-06:
Echo-PT-d03r07-CTLFireability-07:
Echo-PT-d03r07-CTLFireability-10:
Echo-PT-d03r07-CTLFireability-11:
Echo-PT-d03r07-CTLFireability-12:
Echo-PT-d03r07-CTLFireability-13:
Echo-PT-d03r07-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 9/1514
60 CTL EXCL 10/116

Time elapsed: 2096 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY
Echo-PT-d03r07-CTLFireability-05:
Echo-PT-d03r07-CTLFireability-08:
Echo-PT-d03r07-CTLFireability-09:
Echo-PT-d03r07-CTLFireability-14:

PENDING FORMULAS: CATEGORY

========== file over 1MB
retrieve it from the run
.r080-tall-162048871200650.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 CTLFireability is 3600 seconds 16384 MBytes 62048871200650 ==================================== to be used: 5 16:58 CTLCardinality.txt May 10 09:43 CTLCardinality.xml 5 16:58 CTLFireability.txt May 10 09:43 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml Mar 28 16:07 LTLCardinality.txt 20K Mar 28 16:07 LTLCardinality.xml Mar 28 16:07 LTLFireability.txt 16K Mar 28 16:07 LTLFireability.xml Mar 23 10:42 ReachabilityCardinality.txt 20K Mar 23 10:42 ReachabilityCardinality.xml Mar 22 18:43 ReachabilityFireability.txt 13K Mar 22 18:43 ReachabilityFireability.xml Mar 22 09:11 UpperBounds.txt Mar 22 09:11 UpperBounds.xml 6 May 5 16:51 equiv_col 7 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) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 tool begins /bin ution TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:299 ormula_rewrite.k:469 ormula_rewrite.k:253 ormula_rewrite.k:454 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:544 ormula_rewrite.k:547 ormula_rewrite.k:317 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:391 ormula_rewrite.k:454 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:299 ormula_rewrite.k:317 ormula_rewrite.k:299 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:469 ormula_rewrite.k:550 ormula_rewrite.k:550 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:299 ormula_rewrite.k:469 ormula_rewrite.k:250 ormula_rewrite.k:250 ormula_rewrite.k:478 ormula_rewrite.k:454 ormula_rewrite.k:445 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:299 ormula_rewrite.k:250 ormula_rewrite.k:253 ormula_rewrite.k:253 ormula_rewrite.k:253 ormula_rewrite.k:253 ormula_rewrite.k:314 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:317 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:317 ormula_rewrite.k:299 ormula_rewrite.k:322 ormula_rewrite.k:340 ormula_rewrite.k:299 ormula_rewrite.k:299 ormula_rewrite.k:253 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:299 ormula_rewrite.k:472 ormula_rewrite.k:400 ormula_rewrite.k:400 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:314 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:299 ormula_rewrite.k:314 ormula_rewrite.k:317 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:340 ormula_rewrite.k:299 ormula_rewrite.k:299 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:469 ormula_rewrite.k:544 ormula_rewrite.k:250 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:322 ormula_rewrite.k:331 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:553 ormula_rewrite.k:253 ormula_rewrite.k:469 ormula_rewrite.k:391 ormula_rewrite.k:325 ormula_rewrite.k:328 ormula_rewrite.k:296 ormula_rewrite.k:250 ormula_rewrite.k:553 ormula_rewrite.k:322 ormula_rewrite.k:337 ormula_rewrite.k:317 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:325 ormula_rewrite.k:334 ormula_rewrite.k:325 ormula_rewrite.k:337 ormula_rewrite.k:296 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:334 ormula_rewrite.k:296 ormula_rewrite.k:322 ormula_rewrite.k:328 ormula_rewrite.k:325 ormula_rewrite.k:331 ormula_rewrite.k:296 in 0.000000 secs. in 1.000000 secs. removed,0 places removed in 1.000000 secs. VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EF 0 0 0 0 0 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 DISJ 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 EF 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 1.000000 secs. in 1.000000 secs. in 1.000000 secs. in 0.000000 secs. in 1.000000 secs. VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 0 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 3.000000 secs. VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 1 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 4.000000 secs. VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 15.000000 secs. VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 15.000000 secs. VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 0 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 9.000000 secs. VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 0 0 0 CTL 0 0 0 0 0 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 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 12.000000 secs. VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 in 20.000000 secs. ormula_rewrite.k:806 ormula_rewrite.k:813 ormula_rewrite.k:807 ormula_rewrite.k:815 ormula_rewrite.k:810 ormula_rewrite.k:813 ormula_rewrite.k:813 ormula_rewrite.k:811 ormula_rewrite.k:813 ormula_rewrite.k:806 ormula_rewrite.k:813 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS 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 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 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 DISJ 0 0 0 0 2 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 CTL 0 0 0 0 0 0 0 0 CTL 0 0 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 0 Visible: 16 ormula_rewrite.k:807 ormula_rewrite.k:811 ormula_rewrite.k:806 ormula_rewrite.k:814 ormula_rewrite.k:808 ormula_rewrite.k:809 ormula_rewrite.k:811 ormula_rewrite.k:813 ormula_rewrite.k:807 ormula_rewrite.k:807 ormula_rewrite.k:813 ormula_rewrite.k:813 (type EXCL) for 3 Echo-PT-d03r07-CTLFireability-01 in 1.000000 secs. ormula_rewrite.k:806 ormula_rewrite.k:813 ormula_rewrite.k:813 ormula_rewrite.k:807 ormula_rewrite.k:808 ormula_rewrite.k:807 ormula_rewrite.k:815 ormula_rewrite.k:807 ormula_rewrite.k:726 ormula_rewrite.k:788 ormula_rewrite.k:807 ormula_rewrite.k:808 ormula_rewrite.k:811 ormula_rewrite.k:809 ormula_rewrite.k:811 ormula_rewrite.k:807 ormula_rewrite.k:807 ormula_rewrite.k:813 ormula_rewrite.k:809 ormula_rewrite.k:809 ormula_rewrite.k:814 ormula_rewrite.k:811 ormula_rewrite.k:812 ormula_rewrite.k:807 ormula_rewrite.k:813 ormula_rewrite.k:806 ormula_rewrite.k:809 ormula_rewrite.k:811 ormula_rewrite.k:814 ormula_rewrite.k:808 ormula_rewrite.k:812 ormula_rewrite.k:812 ormula_rewrite.k:806 ormula_rewrite.k:806 ormula_rewrite.k:815 ormula_rewrite.k:806 ormula_rewrite.k:809 ormula_rewrite.k:808 ormula_rewrite.k:813 ormula_rewrite.k:809 ormula_rewrite.k:808 ormula_rewrite.k:811 ormula_rewrite.k:812 ormula_rewrite.k:807 ormula_rewrite.k:812 ormula_rewrite.k:806 ormula_rewrite.k:814 ormula_rewrite.k:812 ormula_rewrite.k:812 ormula_rewrite.k:809 ormula_rewrite.k:808 ormula_rewrite.k:814 ormula_rewrite.k:812 ormula_rewrite.k:815 ormula_rewrite.k:812 ormula_rewrite.k:807 ormula_rewrite.k:810 ormula_rewrite.k:809 ormula_rewrite.k:806 ormula_rewrite.k:806 ormula_rewrite.k:809 ormula_rewrite.k:809 ormula_rewrite.k:811 ormula_rewrite.k:809 ormula_rewrite.k:806 ormula_rewrite.k:813 ormula_rewrite.k:806 ormula_rewrite.k:806 ormula_rewrite.k:809 ormula_rewrite.k:809 ormula_rewrite.k:811 ormula_rewrite.k:809 ormula_rewrite.k:811 ormula_rewrite.k:813 ormula_rewrite.k:806 ormula_rewrite.k:814 ormula_rewrite.k:811 ormula_rewrite.k:808 ormula_rewrite.k:814 ormula_rewrite.k:814 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 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 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 DISJ 0 0 0 0 4 0 0 0 CTL 1 0 0 0 1 0 0 0 CTL 1 0 0 0 1 0 0 0 EF 0 0 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r07-CTLFireability-01 37716 m, 7543 m/sec, 182859 t fired, . Pages in use: 1 Visible: 16 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 (type FNDP) for 43 Echo-PT-d03r07-CTLFireability-09 32000000 sec (type EQUN) for 43 Echo-PT-d03r07-CTLFireability-09 32000000 sec (type SRCH) for 43 Echo-PT-d03r07-CTLFireability-09 32000000 sec ormula_rewrite.k:737 ormula_rewrite.k:693 ormula_rewrite.k:788 ormula_rewrite.k:788 ormula_rewrite.k:807 ormula_rewrite.k:813 69 (type FNDP) for Echo-PT-d03r07-CTLFireability-09 : true 13 1 0.000000 0 ormula_rewrite.k:711 70 (type EQUN) for Echo-PT-d03r07-CTLFireability-09 (obsolete) 72 (type SRCH) for Echo-PT-d03r07-CTLFireability-09 (obsolete) (type FNDP) for 19 Echo-PT-d03r07-CTLFireability-05 32000000 sec (type EQUN) for 19 Echo-PT-d03r07-CTLFireability-05 32000000 sec (type SRCH) for 19 Echo-PT-d03r07-CTLFireability-05 32000000 sec ormula_rewrite.k:812 ormula_rewrite.k:813 ormula_rewrite.k:811 ormula_rewrite.k:806 ormula_rewrite.k:812 ormula_rewrite.k:812 ormula_rewrite.k:711 ormula_rewrite.k:806 ormula_rewrite.k:807 ormula_rewrite.k:813 ormula_rewrite.k:813 ormula_rewrite.k:814 ormula_rewrite.k:813 ormula_rewrite.k:813 ormula_rewrite.k:811 ormula_rewrite.k:807 ormula_rewrite.k:814 ormula_rewrite.k:811 ormula_rewrite.k:812 ormula_rewrite.k:812 77 (type FNDP) for Echo-PT-d03r07-CTLFireability-05 : true 1 1.000000 0 72 (type SRCH) for Echo-PT-d03r07-CTLFireability-09 : unknown 1.000000 1 file /home/mcc/execution/CTLFireability-70.sara. 78 (type EQUN) for Echo-PT-d03r07-CTLFireability-05 (obsolete) 80 (type SRCH) for Echo-PT-d03r07-CTLFireability-05 (obsolete) (type FNDP) for 40 Echo-PT-d03r07-CTLFireability-08 32000000 sec (type EQUN) for 40 Echo-PT-d03r07-CTLFireability-08 32000000 sec (type SRCH) for 40 Echo-PT-d03r07-CTLFireability-08 32000000 sec ormula_rewrite.k:711 80 (type SRCH) for Echo-PT-d03r07-CTLFireability-05 : unknown 2.000000 1 ormula_rewrite.k:711 ormula_rewrite.k:711 ormula_rewrite.k:711 73 (type FNDP) for Echo-PT-d03r07-CTLFireability-08 : true 8 1 1.000000 0 74 (type EQUN) for Echo-PT-d03r07-CTLFireability-08 (obsolete) 76 (type SRCH) for Echo-PT-d03r07-CTLFireability-08 (obsolete) (type FNDP) for 19 Echo-PT-d03r07-CTLFireability-05 32000000 sec (type EQUN) for 19 Echo-PT-d03r07-CTLFireability-05 32000000 sec (type SRCH) for 19 Echo-PT-d03r07-CTLFireability-05 32000000 sec 76 (type SRCH) for Echo-PT-d03r07-CTLFireability-08 : unknown 1.000000 1 ormula_rewrite.k:711 85 (type SRCH) for Echo-PT-d03r07-CTLFireability-05 : unknown 0.000000 1 82 (type FNDP) for Echo-PT-d03r07-CTLFireability-05 : true 17 1 0.000000 0 83 (type EQUN) for Echo-PT-d03r07-CTLFireability-05 (obsolete) file /home/mcc/execution/CTLFireability-74.sara. file /home/mcc/execution/CTLFireability-83.sara. VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r07-CTLFireability-01 53497 m, 3156 m/sec, 273519 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r07-CTLFireability-01 71235 m, 3547 m/sec, 375680 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Echo-PT-d03r07-CTLFireability-01 91811 m, 4115 m/sec, 494231 t fired, . Pages in use: 3 Visible: 16 ordering is non-deterministic ordering is non-deterministic VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r07-CTLFireability-01 111950 m, 4027 m/sec, 611769 t fired, . Pages in use: 3 Visible: 16 ordering is non-deterministic VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r07-CTLFireability-01 131860 m, 3982 m/sec, 736133 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r07-CTLFireability-01 152498 m, 4127 m/sec, 856275 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r07-CTLFireability-01 169542 m, 3408 m/sec, 968678 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Echo-PT-d03r07-CTLFireability-01 187938 m, 3679 m/sec, 1093104 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r07-CTLFireability-01 207015 m, 3815 m/sec, 1219275 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r07-CTLFireability-01 223638 m, 3324 m/sec, 1338649 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r07-CTLFireability-01 244218 m, 4116 m/sec, 1464582 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r07-CTLFireability-01 263575 m, 3871 m/sec, 1589895 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Echo-PT-d03r07-CTLFireability-01 279968 m, 3278 m/sec, 1703507 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r07-CTLFireability-01 297683 m, 3543 m/sec, 1822500 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r07-CTLFireability-01 315530 m, 3569 m/sec, 1941998 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r07-CTLFireability-01 332374 m, 3368 m/sec, 2061954 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r07-CTLFireability-01 353499 m, 4225 m/sec, 2186056 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Echo-PT-d03r07-CTLFireability-01 373392 m, 3978 m/sec, 2317633 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r07-CTLFireability-01 392369 m, 3795 m/sec, 2449236 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r07-CTLFireability-01 412080 m, 3942 m/sec, 2577173 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r07-CTLFireability-01 428663 m, 3316 m/sec, 2699115 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r07-CTLFireability-01 449312 m, 4129 m/sec, 2815338 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Echo-PT-d03r07-CTLFireability-01 467876 m, 3712 m/sec, 2933139 t fired, . Pages in use: 5 Visible: 16 4 (type EXCL) for Echo-PT-d03r07-CTLFireability-01 (local timeout) VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 5 Visible: 16 (type EXCL) for 62 Echo-PT-d03r07-CTLFireability-14 (type EXCL) for 3 Echo-PT-d03r07-CTLFireability-01 63 (type EXCL) for Echo-PT-d03r07-CTLFireability-14 : true 3406 5812 2.000000 1 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 17953 m, -89984 m/sec, 76757 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 34893 m, 3388 m/sec, 166303 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 51220 m, 3265 m/sec, 261290 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 63669 m, 2489 m/sec, 335194 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 71149 m, 1496 m/sec, 375151 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 87736 m, 3317 m/sec, 473815 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Echo-PT-d03r07-CTLFireability-01 107579 m, 3968 m/sec, 582662 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Echo-PT-d03r07-CTLFireability-01 122241 m, 2932 m/sec, 675827 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Echo-PT-d03r07-CTLFireability-01 140722 m, 3696 m/sec, 782622 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Echo-PT-d03r07-CTLFireability-01 154653 m, 2786 m/sec, 869345 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Echo-PT-d03r07-CTLFireability-01 170375 m, 3144 m/sec, 973960 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Echo-PT-d03r07-CTLFireability-01 186719 m, 3268 m/sec, 1084691 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Echo-PT-d03r07-CTLFireability-01 200848 m, 2825 m/sec, 1179928 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Echo-PT-d03r07-CTLFireability-01 216743 m, 3179 m/sec, 1288586 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Echo-PT-d03r07-CTLFireability-01 231513 m, 2954 m/sec, 1396083 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Echo-PT-d03r07-CTLFireability-01 249375 m, 3572 m/sec, 1496223 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Echo-PT-d03r07-CTLFireability-01 264590 m, 3043 m/sec, 1597960 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Echo-PT-d03r07-CTLFireability-01 281448 m, 3371 m/sec, 1712217 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Echo-PT-d03r07-CTLFireability-01 298985 m, 3507 m/sec, 1830579 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Echo-PT-d03r07-CTLFireability-01 315615 m, 3326 m/sec, 1942676 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Echo-PT-d03r07-CTLFireability-01 330585 m, 2994 m/sec, 2050864 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Echo-PT-d03r07-CTLFireability-01 349862 m, 3855 m/sec, 2161198 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Echo-PT-d03r07-CTLFireability-01 365389 m, 3105 m/sec, 2265739 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Echo-PT-d03r07-CTLFireability-01 382585 m, 3439 m/sec, 2380631 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Echo-PT-d03r07-CTLFireability-01 398935 m, 3270 m/sec, 2492076 t fired, . Pages in use: 14 Visible: 16 4 (type EXCL) for Echo-PT-d03r07-CTLFireability-01 (local timeout) VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 14 Visible: 16 (type EXCL) for 59 Echo-PT-d03r07-CTLFireability-13 (type EXCL) for 3 Echo-PT-d03r07-CTLFireability-01 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 14195 m, -76948 m/sec, 59026 t fired, . 1/32 Echo-PT-d03r07-CTLFireability-13 32463 m, 6492 m/sec, 34401 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 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 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 EFAG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Echo-PT-d03r07-CTLFireability-01 26607 m, 2482 m/sec, 122870 t fired, . 1/32 Echo-PT-d03r07-CTLFireability-13 59021 m, 5311 m/sec, 63810 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY DISJ true findpath EF true findpath DISJ true findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS 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="Echo-PT-d03r07"
export BK_EXAMINATION="CTLFireability"
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 Echo-PT-d03r07, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r080-tall-162048871200650"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d03r07.tgz
mv Echo-PT-d03r07 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;