MCC'2021- Execution of r061-tall-162038392600010

About the Execution of LoLA for DES-PT-00b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6116.168	2722452.00	4490436.00	10388.40	?T?FTTF??????T?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-i
Waiting for the VM to
.............................
.......
.............................
.............................
.............................
.............................
.............................
=============================
Generated by BenchKit 2-4028
Executing tool lola
Input is DES-PT-00b,
Time confinement
Memory confinement
Number of cores is 4
Run identifier is
=============================

--------------------
preparation of the directory
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 9.6K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 7.3K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.6K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users

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

=== Data for post analysis

The expected result
BOOL_VECTOR

here is the order used
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi
FORMULA_NAME DES-PT-00b-CTLFi

=== Now, execution of

BK_START 1620825089064

starting LoLA
BK_INPUT DES-PT-00b
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/Benc
current directory: /home/mcc/
CTLFireability

FORMULA DES-PT-00b-CTLFireability-03

FORMULA DES-PT-00b-CTLFireability-04

FORMULA DES-PT-00b-CTLFireability-15

FORMULA DES-PT-00b-CTLFireability-13

FORMULA DES-PT-00b-CTLFireability-05

FORMULA DES-PT-00b-CTLFireability-01

FORMULA DES-PT-00b-CTLFireability-06

BK_STOP 1620827811516

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML
lola: reading net
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/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: LAUNCH task
lola: time limit : 128 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: planning for
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: LAUNCH task
lola: time limit : 163 sec
lola: memory limit: 32 pages
lola: Created skeleton
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: Created skeleton
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 256 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 4/256

Time elapsed: 10 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 9/256

Time elapsed: 15 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 14/256

Time elapsed: 20 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 19/256

Time elapsed: 25 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 24/256

Time elapsed: 30 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 29/256

Time elapsed: 35 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 34/256

Time elapsed: 40 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 39/256

Time elapsed: 45 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 44/256

Time elapsed: 50 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 49/256

Time elapsed: 55 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 54/256

Time elapsed: 60 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 59/256

Time elapsed: 65 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 64/256

Time elapsed: 70 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 69/256

Time elapsed: 75 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 74/256

Time elapsed: 80 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 79/256

Time elapsed: 85 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 84/256

Time elapsed: 90 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 89/256

Time elapsed: 95 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 94/256

Time elapsed: 100 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 99/256

Time elapsed: 105 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 104/256

Time elapsed: 110 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 109/256

Time elapsed: 115 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 114/256

Time elapsed: 120 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 119/256

Time elapsed: 125 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 124/256

Time elapsed: 130 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 129/256

Time elapsed: 135 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 134/256

Time elapsed: 140 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 139/256

Time elapsed: 145 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 144/256

Time elapsed: 150 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 149/256

Time elapsed: 155 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 154/256

Time elapsed: 160 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-14:
DES-PT-00b-CTLFireability-15:

TASK CATEGORY TYPE
58 CTL EXCL 159/256

Time elapsed: 165 secs.
# running tasks: 1 of
lola: FINISHED task
lola: result
lola: markings
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 264 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 286 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 2/286

Time elapsed: 170 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 7/286

Time elapsed: 175 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 12/286

Time elapsed: 180 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 17/286

Time elapsed: 185 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 22/286

Time elapsed: 190 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 27/286

Time elapsed: 195 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 32/286

Time elapsed: 200 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 37/286

Time elapsed: 205 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 42/286

Time elapsed: 210 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 47/286

Time elapsed: 215 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 52/286

Time elapsed: 220 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 57/286

Time elapsed: 225 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 62/286

Time elapsed: 230 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 67/286

Time elapsed: 235 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 72/286

Time elapsed: 240 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 77/286

Time elapsed: 245 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 82/286

Time elapsed: 250 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 87/286

Time elapsed: 255 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 92/286

Time elapsed: 260 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 97/286

Time elapsed: 265 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 102/286

Time elapsed: 270 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 107/286

Time elapsed: 275 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 112/286

Time elapsed: 280 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 117/286

Time elapsed: 285 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 122/286

Time elapsed: 290 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 127/286

Time elapsed: 295 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 132/286

Time elapsed: 300 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 137/286

Time elapsed: 305 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 142/286

Time elapsed: 310 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 147/286

Time elapsed: 315 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 152/286

Time elapsed: 320 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 157/286

Time elapsed: 325 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 162/286

Time elapsed: 330 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 167/286

Time elapsed: 335 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 172/286

Time elapsed: 340 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 177/286

Time elapsed: 345 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 182/286

Time elapsed: 350 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 187/286

Time elapsed: 355 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 192/286

Time elapsed: 360 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 197/286

Time elapsed: 365 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 202/286

Time elapsed: 370 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 207/286

Time elapsed: 375 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 212/286

Time elapsed: 380 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 217/286

Time elapsed: 385 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:
DES-PT-00b-CTLFireability-11:
DES-PT-00b-CTLFireability-12:
DES-PT-00b-CTLFireability-14:

TASK CATEGORY TYPE
46 CTL EXCL 222/286

Time elapsed: 390 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-00b-CTLFireability-03:
DES-PT-00b-CTLFireability-04:
DES-PT-00b-CTLFireability-13:
DES-PT-00b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-00b-CTLFireability-00:
DES-PT-00b-CTLFireability-01:
DES-PT-00b-CTLFireability-02:
DES-PT-00b-CTLFireability-05:
DES-PT-00b-CTLFireability-06:
DES-PT-00b-CTLFireability-07:
DES-PT-00b-CTLFireability-08:
DES-PT-00b-CTLFireability-09:
DES-PT-00b-CTLFireability-10:

========== file over
retrieve it from the
nput.r061-tall-162038392600010.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off be ready (probing ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ======================================== examination is CTLFireability is 3600 seconds is 16384 MBytes r061-tall-162038392600010 ======================================== to be used: 5 16:58 CTLCardinality.txt 89K May 10 09:42 CTLCardinality.xml 5 16:58 CTLFireability.txt 66K May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.1K Mar 28 15:55 LTLCardinality.txt 22K Mar 28 15:55 LTLCardinality.xml 1.9K Mar 28 15:55 LTLFireability.txt 18K Mar 28 15:55 LTLFireability.xml 3.4K Mar 23 03:23 ReachabilityCardinality.txt 18K Mar 23 03:23 ReachabilityCardinality.xml 2.0K Mar 22 12:52 ReachabilityFireability.txt 9.3K Mar 22 12:52 ReachabilityFireability.xml 1.5K Mar 22 09:10 UpperBounds.txt 3.5K Mar 22 09:10 UpperBounds.xml 6 May 5 16:51 equiv_col 4 May 5 16:51 instance 6 May 5 16:51 iscolored 66K May 5 16:51 model.pnml generated by BenchKit (invocation template) is a vector of booleans to 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 the tool begins hKit/bin execution FALSE 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 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 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT file (--pnmlnet) from /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:553 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:299 er/formula_rewrite.k:439 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:253 er/formula_rewrite.k:253 er/formula_rewrite.k:547 er/formula_rewrite.k:394 er/formula_rewrite.k:547 er/formula_rewrite.k:400 er/formula_rewrite.k:253 er/formula_rewrite.k:253 er/formula_rewrite.k:391 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:314 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:314 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:253 er/formula_rewrite.k:250 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:445 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:299 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:299 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:475 er/formula_rewrite.k:448 er/formula_rewrite.k:253 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:250 er/formula_rewrite.k:314 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:299 er/formula_rewrite.k:314 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:250 er/formula_rewrite.k:250 er/formula_rewrite.k:317 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:544 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:340 er/formula_rewrite.k:299 er/formula_rewrite.k:299 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:317 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:314 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:299 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. er/formula_rewrite.k:754 er/formula_rewrite.k:787 # 60 (type EXCL) for 9 DES-PT-00b-CTLFireability-03 er/formula_rewrite.k:810 er/formula_rewrite.k:812 # 60 (type EXCL) for DES-PT-00b-CTLFireability-03 : true 125 124 : 0.000000 1 er/formula_rewrite.k:806 er/formula_rewrite.k:813 er/formula_rewrite.k:808 er/formula_rewrite.k:812 er/formula_rewrite.k:813 er/formula_rewrite.k:814 er/formula_rewrite.k:809 (null) stopped (result already fixed). er/formula_rewrite.k:815 er/formula_rewrite.k:806 er/formula_rewrite.k:808 er/formula_rewrite.k:813 er/formula_rewrite.k:815 er/formula_rewrite.k:815 er/formula_rewrite.k:811 er/formula_rewrite.k:813 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:812 er/formula_rewrite.k:811 # 25 (type EXCL) for 24 DES-PT-00b-CTLFireability-04 in 0.000000 secs. er/formula_rewrite.k:813 er/formula_rewrite.k:814 er/formula_rewrite.k:806 er/formula_rewrite.k:814 er/formula_rewrite.k:813 er/formula_rewrite.k:811 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:812 er/formula_rewrite.k:806 er/formula_rewrite.k:806 er/formula_rewrite.k:814 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. er/formula_rewrite.k:806 er/formula_rewrite.k:806 er/formula_rewrite.k:815 er/formula_rewrite.k:813 er/formula_rewrite.k:809 er/formula_rewrite.k:726 er/formula_rewrite.k:787 er/formula_rewrite.k:807 er/formula_rewrite.k:807 er/formula_rewrite.k:813 er/formula_rewrite.k:808 er/formula_rewrite.k:809 er/formula_rewrite.k:812 er/formula_rewrite.k:808 er/formula_rewrite.k:809 er/formula_rewrite.k:811 er/formula_rewrite.k:813 er/formula_rewrite.k:813 er/formula_rewrite.k:810 er/formula_rewrite.k:811 er/formula_rewrite.k:813 er/formula_rewrite.k:806 in 0.000000 secs. er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:815 er/formula_rewrite.k:806 er/formula_rewrite.k:809 er/formula_rewrite.k:815 er/formula_rewrite.k:809 er/formula_rewrite.k:809 er/formula_rewrite.k:811 er/formula_rewrite.k:813 er/formula_rewrite.k:703 er/formula_rewrite.k:807 er/formula_rewrite.k:813 er/formula_rewrite.k:812 er/formula_rewrite.k:809 er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:806 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:808 er/formula_rewrite.k:807 # 25 (type EXCL) for DES-PT-00b-CTLFireability-04 : true 22350 69384 : 1.000000 1 # 58 (type EXCL) for 57 DES-PT-00b-CTLFireability-15 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-00b-CTLFireability-15 190413 m, 38082 m/sec, 556565 t fired, . Pages in use: 1 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-00b-CTLFireability-15 367015 m, 35320 m/sec, 1089823 t fired, . Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-00b-CTLFireability-15 561762 m, 38949 m/sec, 1716703 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-00b-CTLFireability-15 774783 m, 42604 m/sec, 2378280 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-00b-CTLFireability-15 939701 m, 32983 m/sec, 2956734 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-00b-CTLFireability-15 1109455 m, 33950 m/sec, 3591461 t fired, . Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-00b-CTLFireability-15 1312606 m, 40630 m/sec, 4351292 t fired, . Pages in use: 6 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-00b-CTLFireability-15 1481328 m, 33744 m/sec, 5040755 t fired, . Pages in use: 7 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-00b-CTLFireability-15 1657976 m, 35329 m/sec, 5759961 t fired, . Pages in use: 8 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-00b-CTLFireability-15 1809104 m, 30225 m/sec, 6459966 t fired, . Pages in use: 8 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-00b-CTLFireability-15 1966470 m, 31473 m/sec, 7133182 t fired, . Pages in use: 9 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 DES-PT-00b-CTLFireability-15 2135495 m, 33805 m/sec, 7883713 t fired, . Pages in use: 10 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-00b-CTLFireability-15 2292953 m, 31491 m/sec, 8586745 t fired, . Pages in use: 11 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-00b-CTLFireability-15 2451383 m, 31686 m/sec, 9269645 t fired, . Pages in use: 11 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-00b-CTLFireability-15 2587989 m, 27321 m/sec, 9901064 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-00b-CTLFireability-15 2731059 m, 28614 m/sec, 10557857 t fired, . Pages in use: 13 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-00b-CTLFireability-15 2863798 m, 26547 m/sec, 11224589 t fired, . Pages in use: 13 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-00b-CTLFireability-15 2986361 m, 24512 m/sec, 11864516 t fired, . Pages in use: 14 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-00b-CTLFireability-15 3128702 m, 28468 m/sec, 12520500 t fired, . Pages in use: 14 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-00b-CTLFireability-15 3257013 m, 25662 m/sec, 13173603 t fired, . Pages in use: 15 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-00b-CTLFireability-15 3382331 m, 25063 m/sec, 13818120 t fired, . Pages in use: 15 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 DES-PT-00b-CTLFireability-15 3547578 m, 33049 m/sec, 14505503 t fired, . Pages in use: 16 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-00b-CTLFireability-15 3692789 m, 29042 m/sec, 15178964 t fired, . Pages in use: 17 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-00b-CTLFireability-15 3848490 m, 31140 m/sec, 15893884 t fired, . Pages in use: 18 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-00b-CTLFireability-15 3990962 m, 28494 m/sec, 16608656 t fired, . Pages in use: 18 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 DES-PT-00b-CTLFireability-15 4120094 m, 25826 m/sec, 17284624 t fired, . Pages in use: 19 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-00b-CTLFireability-15 4279121 m, 31805 m/sec, 18017581 t fired, . Pages in use: 20 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-00b-CTLFireability-15 4415687 m, 27313 m/sec, 18729476 t fired, . Pages in use: 20 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 DES-PT-00b-CTLFireability-15 4568757 m, 30614 m/sec, 19355561 t fired, . Pages in use: 21 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 DES-PT-00b-CTLFireability-15 4770790 m, 40406 m/sec, 19966547 t fired, . Pages in use: 22 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 DES-PT-00b-CTLFireability-15 4941303 m, 34102 m/sec, 20527197 t fired, . Pages in use: 23 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 DES-PT-00b-CTLFireability-15 5115997 m, 34938 m/sec, 21104588 t fired, . Pages in use: 23 4 Visible: 16 # 58 (type EXCL) for DES-PT-00b-CTLFireability-15 : true : 5202638 21455769 : 162.000000 24 # 52 (type EXCL) for 51 DES-PT-00b-CTLFireability-13 # 52 (type EXCL) for DES-PT-00b-CTLFireability-13 : true 19855 66676 : 0.000000 1 # 46 (type EXCL) for 45 DES-PT-00b-CTLFireability-11 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-00b-CTLFireability-11 81146 m, 16229 m/sec, 144976 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-00b-CTLFireability-11 289842 m, 41739 m/sec, 615467 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-00b-CTLFireability-11 505087 m, 43049 m/sec, 1114766 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-00b-CTLFireability-11 688239 m, 36630 m/sec, 1582722 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-00b-CTLFireability-11 880202 m, 38392 m/sec, 2043508 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-00b-CTLFireability-11 1078638 m, 39687 m/sec, 2535288 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-00b-CTLFireability-11 1266992 m, 37670 m/sec, 3015689 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-00b-CTLFireability-11 1431728 m, 32947 m/sec, 3520470 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-00b-CTLFireability-11 1639351 m, 41524 m/sec, 4016859 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-00b-CTLFireability-11 1824663 m, 37062 m/sec, 4470564 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-00b-CTLFireability-11 2001121 m, 35291 m/sec, 4933313 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 DES-PT-00b-CTLFireability-11 2180822 m, 35940 m/sec, 5398839 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-00b-CTLFireability-11 2359795 m, 35794 m/sec, 5861211 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-00b-CTLFireability-11 2539736 m, 35988 m/sec, 6339151 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-00b-CTLFireability-11 2680568 m, 28166 m/sec, 6809181 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-00b-CTLFireability-11 2868907 m, 37667 m/sec, 7299311 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-00b-CTLFireability-11 3045398 m, 35298 m/sec, 7785952 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-00b-CTLFireability-11 3226646 m, 36249 m/sec, 8277042 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-00b-CTLFireability-11 3362934 m, 27257 m/sec, 8744432 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-00b-CTLFireability-11 3507067 m, 28826 m/sec, 9260762 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 DES-PT-00b-CTLFireability-11 3629459 m, 24478 m/sec, 9721182 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-00b-CTLFireability-11 3768486 m, 27805 m/sec, 10238320 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-00b-CTLFireability-11 3909811 m, 28265 m/sec, 10754556 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-00b-CTLFireability-11 4027963 m, 23630 m/sec, 11219160 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-00b-CTLFireability-11 4146612 m, 23729 m/sec, 11706905 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 DES-PT-00b-CTLFireability-11 4273457 m, 25369 m/sec, 12169771 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 DES-PT-00b-CTLFireability-11 4392122 m, 23733 m/sec, 12634893 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-00b-CTLFireability-11 4509320 m, 23439 m/sec, 13108626 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-00b-CTLFireability-11 4636526 m, 25441 m/sec, 13606320 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 DES-PT-00b-CTLFireability-11 4762440 m, 25182 m/sec, 14096564 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 DES-PT-00b-CTLFireability-11 4880193 m, 23550 m/sec, 14587081 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 DES-PT-00b-CTLFireability-11 4991263 m, 22214 m/sec, 15072981 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 DES-PT-00b-CTLFireability-11 5103428 m, 22433 m/sec, 15563327 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 DES-PT-00b-CTLFireability-11 5215691 m, 22452 m/sec, 16061087 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 DES-PT-00b-CTLFireability-11 5309691 m, 18800 m/sec, 16501021 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 DES-PT-00b-CTLFireability-11 5449158 m, 27893 m/sec, 16985005 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 DES-PT-00b-CTLFireability-11 5661362 m, 42440 m/sec, 17493378 t fired, . Pages in use: 25 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 DES-PT-00b-CTLFireability-11 5853383 m, 38404 m/sec, 17969394 t fired, . Pages in use: 25 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 DES-PT-00b-CTLFireability-11 6025088 m, 34341 m/sec, 18446935 t fired, . Pages in use: 26 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 DES-PT-00b-CTLFireability-11 6224511 m, 39884 m/sec, 18948864 t fired, . Pages in use: 27 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 DES-PT-00b-CTLFireability-11 6398022 m, 34702 m/sec, 19402690 t fired, . Pages in use: 28 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 DES-PT-00b-CTLFireability-11 6564351 m, 33265 m/sec, 19848085 t fired, . Pages in use: 28 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 29/32 DES-PT-00b-CTLFireability-11 6711024 m, 29334 m/sec, 20345536 t fired, . Pages in use: 29 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 DES-PT-00b-CTLFireability-11 6900155 m, 37826 m/sec, 20816088 t fired, . Pages in use: 30 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 31/32 DES-PT-00b-CTLFireability-11 7069551 m, 33879 m/sec, 21255736 t fired, . Pages in use: 31 4 Visible: 16 VALUE PRODUCED BY CONJ false state space /EXEG CTL true CTL model checker CTL true CTL model checker 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 1MB has been truncated ====== run 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="DES-PT-00b"
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 DES-PT-00b, 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 r061-tall-162038392600010"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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