MCC'2021- Execution of r061-tall-162038392600034

About the Execution of LoLA for DES-PT-02a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16246.275	3483885.00	8442278.00	10193.70	?FFFT?FF???TFFTF	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-02a,
Time confinement
Memory confinement
Number of cores is 4
Run identifier is
=============================

--------------------
preparation of the directory
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 9.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-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi
FORMULA_NAME DES-PT-02a-CTLFi

=== Now, execution of

BK_START 1620820856011

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

FORMULA DES-PT-02a-CTLFireability-15

FORMULA DES-PT-02a-CTLFireability-14

FORMULA DES-PT-02a-CTLFireability-11

FORMULA DES-PT-02a-CTLFireability-12

FORMULA DES-PT-02a-CTLFireability-06

FORMULA DES-PT-02a-CTLFireability-13

FORMULA DES-PT-02a-CTLFireability-04

FORMULA DES-PT-02a-CTLFireability-03

FORMULA DES-PT-02a-CTLFireability-02

FORMULA DES-PT-02a-CTLFireability-07

FORMULA DES-PT-02a-CTLFireability-01

BK_STOP 1620824339896

--------------------
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: 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: 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: 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: 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: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: LAUNCH INITIAL
lola: LAUNCH task
lola: time limit : 0 sec
lola: memory limit: 0 pages
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: LAUNCH task
lola: time limit : 133 sec
lola: memory limit: 32 pages
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: 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: 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: 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: 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: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: FINISHED task
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used
lola: memory pages used :
lola: CANCELED task
lola: CANCELED task
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: FINISHED task
lola: result
lola: time used
lola: memory pages used :
lola: rewrite Frontend/Pars
lola: FINISHED task
lola: result
lola: tried executions :
lola: time used
lola: memory pages used :
lola: CANCELED task
lola: FINISHED task
lola: result
lola: time used
lola: memory pages used :
sara: try reading problem
sara: place or transition

lola: FINISHED task
lola: result
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 5/179

Time elapsed: 8 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 10/179

Time elapsed: 13 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 15/179

Time elapsed: 18 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 20/179

Time elapsed: 23 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 25/179

Time elapsed: 28 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 30/179

Time elapsed: 33 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 35/179

Time elapsed: 38 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 40/179

Time elapsed: 43 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 45/179

Time elapsed: 48 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 50/179

Time elapsed: 53 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 55/179

Time elapsed: 58 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 60/179

Time elapsed: 63 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 65/179

Time elapsed: 68 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 70/179

Time elapsed: 73 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 75/179

Time elapsed: 78 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 80/179

Time elapsed: 83 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 85/179

Time elapsed: 88 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 90/179

Time elapsed: 93 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 95/179

Time elapsed: 98 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 100/179

Time elapsed: 103 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 105/179

Time elapsed: 108 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 110/179

Time elapsed: 113 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 115/179

Time elapsed: 118 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 120/179

Time elapsed: 123 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 125/179

Time elapsed: 128 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 130/179

Time elapsed: 133 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 135/179

Time elapsed: 138 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 140/179

Time elapsed: 143 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 145/179

Time elapsed: 148 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 150/179

Time elapsed: 153 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 155/179

Time elapsed: 158 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 160/179

Time elapsed: 163 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE
5 CTL EXCL 165/179

Time elapsed: 168 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE

Time elapsed: 173 secs.
# running tasks: 1 of
lola: LAUNCH task
lola: time limit : 180 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 : 190 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 : 201 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 5/201

Time elapsed: 178 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 10/201

Time elapsed: 183 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 15/201

Time elapsed: 188 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 20/201

Time elapsed: 193 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 25/201

Time elapsed: 198 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 30/201

Time elapsed: 203 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 35/201

Time elapsed: 208 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 40/201

Time elapsed: 213 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 45/201

Time elapsed: 218 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 50/201

Time elapsed: 223 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 55/201

Time elapsed: 228 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 60/201

Time elapsed: 233 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 65/201

Time elapsed: 238 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 70/201

Time elapsed: 243 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 75/201

Time elapsed: 248 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 80/201

Time elapsed: 253 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 85/201

Time elapsed: 258 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 90/201

Time elapsed: 263 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 95/201

Time elapsed: 268 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 100/201

Time elapsed: 273 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 105/201

Time elapsed: 278 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 110/201

Time elapsed: 283 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 115/201

Time elapsed: 288 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 120/201

Time elapsed: 293 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 125/201

Time elapsed: 298 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 130/201

Time elapsed: 303 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 135/201

Time elapsed: 308 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 140/201

Time elapsed: 313 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 145/201

Time elapsed: 318 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 150/201

Time elapsed: 323 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 155/201

Time elapsed: 328 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 160/201

Time elapsed: 333 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 165/201

Time elapsed: 338 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 170/201

Time elapsed: 343 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 175/201

Time elapsed: 348 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 180/201

Time elapsed: 353 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 185/201

Time elapsed: 358 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 190/201

Time elapsed: 363 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 195/201

Time elapsed: 368 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
66 CTL EXCL 200/201

Time elapsed: 373 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE

Time elapsed: 378 secs.
# running tasks: 1 of
lola: LAUNCH task
lola: time limit : 201 sec
lola: memory limit: 32 pages
lola: LAUNCH task
lola: time limit : 3222 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 5/201
66 CTL EXCL 5/3222

Time elapsed: 383 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 10/201
66 CTL EXCL 10/189

Time elapsed: 388 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 15/201
66 CTL EXCL 15/189

Time elapsed: 393 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 20/201
66 CTL EXCL 20/189

Time elapsed: 398 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 25/201
66 CTL EXCL 25/189

Time elapsed: 403 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 30/201
66 CTL EXCL 30/189

Time elapsed: 408 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 35/201
66 CTL EXCL 35/189

Time elapsed: 413 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 40/201
66 CTL EXCL 40/189

Time elapsed: 418 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 45/201
66 CTL EXCL 45/189

Time elapsed: 423 secs.
# running tasks: 2 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 50/201

Time elapsed: 428 secs.
# running tasks: 2 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 55/201

Time elapsed: 433 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 60/201

Time elapsed: 438 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 65/201

Time elapsed: 443 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 70/201

Time elapsed: 448 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 75/201

Time elapsed: 453 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 80/201

Time elapsed: 458 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 85/201

Time elapsed: 463 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 90/201

Time elapsed: 468 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 95/201

Time elapsed: 473 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 100/201

Time elapsed: 478 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 105/201

Time elapsed: 483 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 110/201

Time elapsed: 488 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 115/201

Time elapsed: 493 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 120/201

Time elapsed: 498 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:
DES-PT-02a-CTLFireability-01:
DES-PT-02a-CTLFireability-02:
DES-PT-02a-CTLFireability-03:
DES-PT-02a-CTLFireability-04:
DES-PT-02a-CTLFireability-05:
DES-PT-02a-CTLFireability-06:
DES-PT-02a-CTLFireability-07:
DES-PT-02a-CTLFireability-08:
DES-PT-02a-CTLFireability-09:
DES-PT-02a-CTLFireability-10:
DES-PT-02a-CTLFireability-11:
DES-PT-02a-CTLFireability-12:
DES-PT-02a-CTLFireability-13:

TASK CATEGORY TYPE
53 CTL EXCL 125/201

Time elapsed: 503 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-02a-CTLFireability-14:
DES-PT-02a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-02a-CTLFireability-00:

========== file over
retrieve it from the
nput.r061-tall-162038392600034.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-162038392600034 ======================================== to be used: 16K May 5 16:58 CTLCardinality.txt 172K May 10 09:42 CTLCardinality.xml 5 16:58 CTLFireability.txt 93K May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.2K Mar 28 15:55 LTLCardinality.txt 24K Mar 28 15:55 LTLCardinality.xml 1.8K Mar 28 15:55 LTLFireability.txt 18K Mar 28 15:55 LTLFireability.xml 3.3K Mar 23 03:23 ReachabilityCardinality.txt 17K Mar 23 03:23 ReachabilityCardinality.xml 2.9K Mar 22 12:52 ReachabilityFireability.txt 21K 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 33K 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 FALSE 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 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 FALSE 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 FALSE 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:553 er/formula_rewrite.k:253 er/formula_rewrite.k:547 er/formula_rewrite.k:394 er/formula_rewrite.k:400 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:253 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:325 er/formula_rewrite.k:340 er/formula_rewrite.k:299 er/formula_rewrite.k:299 er/formula_rewrite.k:314 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 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:296 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:299 er/formula_rewrite.k:469 er/formula_rewrite.k:391 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 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:322 er/formula_rewrite.k:331 er/formula_rewrite.k:299 er/formula_rewrite.k:250 er/formula_rewrite.k:400 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:550 er/formula_rewrite.k:253 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:317 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:544 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:544 er/formula_rewrite.k:457 er/formula_rewrite.k:397 er/formula_rewrite.k:253 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:250 er/formula_rewrite.k:250 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 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:334 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:325 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:334 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:439 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:478 er/formula_rewrite.k:317 er/formula_rewrite.k:314 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:299 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:314 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:299 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:388 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:334 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:314 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:253 er/formula_rewrite.k:253 er/formula_rewrite.k:253 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:317 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:296 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. # 60 (type CNST) for 55 DES-PT-02a-CTLFireability-13 er/formula_rewrite.k:808 er/formula_rewrite.k:808 er/formula_rewrite.k:806 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:811 # 60 (type CNST) for DES-PT-02a-CTLFireability-13 : false # 5 (type EXCL) for 0 DES-PT-02a-CTLFireability-00 er/formula_rewrite.k:813 er/formula_rewrite.k:811 er/formula_rewrite.k:814 er/formula_rewrite.k:813 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:815 er/formula_rewrite.k:811 er/formula_rewrite.k:809 er/formula_rewrite.k:812 er/formula_rewrite.k:808 er/formula_rewrite.k:806 er/formula_rewrite.k:808 er/formula_rewrite.k:811 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:812 er/formula_rewrite.k:814 er/formula_rewrite.k:812 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:806 er/formula_rewrite.k:809 er/formula_rewrite.k:806 er/formula_rewrite.k:809 er/formula_rewrite.k:813 er/formula_rewrite.k:806 er/formula_rewrite.k:813 er/formula_rewrite.k:812 er/formula_rewrite.k:814 er/formula_rewrite.k:814 er/formula_rewrite.k:806 er/formula_rewrite.k:813 er/formula_rewrite.k:811 er/formula_rewrite.k:812 er/formula_rewrite.k:811 er/formula_rewrite.k:812 er/formula_rewrite.k:808 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:813 er/formula_rewrite.k:813 er/formula_rewrite.k:812 er/formula_rewrite.k:807 in 0.000000 secs. er/formula_rewrite.k:813 er/formula_rewrite.k:811 er/formula_rewrite.k:814 er/formula_rewrite.k:812 er/formula_rewrite.k:809 er/formula_rewrite.k:813 er/formula_rewrite.k:808 er/formula_rewrite.k:806 er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:812 er/formula_rewrite.k:808 er/formula_rewrite.k:808 in 0.000000 secs. in 0.000000 secs. er/formula_rewrite.k:807 er/formula_rewrite.k:813 er/formula_rewrite.k:815 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:807 er/formula_rewrite.k:811 in 0.000000 secs. er/formula_rewrite.k:810 er/formula_rewrite.k:810 er/formula_rewrite.k:809 er/formula_rewrite.k:811 er/formula_rewrite.k:812 er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:749 er/formula_rewrite.k:787 er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:812 er/formula_rewrite.k:811 er/formula_rewrite.k:809 er/formula_rewrite.k:813 er/formula_rewrite.k:806 er/formula_rewrite.k:815 er/formula_rewrite.k:807 er/formula_rewrite.k:815 er/formula_rewrite.k:810 er/formula_rewrite.k:811 er/formula_rewrite.k:814 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:711 er/formula_rewrite.k:711 er/formula_rewrite.k:711 er/formula_rewrite.k:812 er/formula_rewrite.k:807 er/formula_rewrite.k:809 er/formula_rewrite.k:807 er/formula_rewrite.k:809 er/formula_rewrite.k:809 er/formula_rewrite.k:806 # 81 (type FNDP) for 55 DES-PT-02a-CTLFireability-13 : 32000000 sec # 82 (type EQUN) for 55 DES-PT-02a-CTLFireability-13 : 32000000 sec # 84 (type SRCH) for 55 DES-PT-02a-CTLFireability-13 : 32000000 sec er/formula_rewrite.k:711 er/formula_rewrite.k:711 er/formula_rewrite.k:711 er/formula_rewrite.k:711 # 81 (type FNDP) for DES-PT-02a-CTLFireability-13 : true 2 1 : 0.000000 0 # 82 (type EQUN) for DES-PT-02a-CTLFireability-13 (obsolete) # 84 (type SRCH) for DES-PT-02a-CTLFireability-13 (obsolete) # 85 (type FNDP) for 55 DES-PT-02a-CTLFireability-13 : 32000000 sec # 86 (type EQUN) for 55 DES-PT-02a-CTLFireability-13 : 32000000 sec # 88 (type SRCH) for 55 DES-PT-02a-CTLFireability-13 : 32000000 sec # 82 (type EQUN) for DES-PT-02a-CTLFireability-13 : unknown # 88 (type SRCH) for DES-PT-02a-CTLFireability-13 : unknown : 0.000000 1 er/formula_rewrite.k:711 # 85 (type FNDP) for DES-PT-02a-CTLFireability-13 : true 1 : 0.000000 0 # 86 (type EQUN) for DES-PT-02a-CTLFireability-13 (obsolete) # 84 (type SRCH) for DES-PT-02a-CTLFireability-13 : unknown : 0.000000 1 file /home/mcc/execution/CTLFireability-86.sara. ordering is non-deterministic # 86 (type EQUN) for DES-PT-02a-CTLFireability-13 : true VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 216522 m, 43304 m/sec, 922292 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 406874 m, 38070 m/sec, 1884698 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 654872 m, 49599 m/sec, 2946166 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 907966 m, 50618 m/sec, 3986081 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 1135663 m, 45539 m/sec, 4974245 t fired, . Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 1352464 m, 43360 m/sec, 5906033 t fired, . Pages in use: 6 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 1583563 m, 46219 m/sec, 6867010 t fired, . Pages in use: 7 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 1819465 m, 47180 m/sec, 7896775 t fired, . Pages in use: 8 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 2051805 m, 46468 m/sec, 8923950 t fired, . Pages in use: 9 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 2259162 m, 41471 m/sec, 9866539 t fired, . Pages in use: 10 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 2464536 m, 41074 m/sec, 10804838 t fired, . Pages in use: 11 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 2657092 m, 38511 m/sec, 11726109 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 2851195 m, 38820 m/sec, 12619474 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 3040040 m, 37769 m/sec, 13516719 t fired, . Pages in use: 13 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 3220490 m, 36090 m/sec, 14405132 t fired, . Pages in use: 14 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 3450497 m, 46001 m/sec, 15385396 t fired, . Pages in use: 15 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 3644167 m, 38734 m/sec, 16273452 t fired, . Pages in use: 16 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 3840620 m, 39290 m/sec, 17187706 t fired, . Pages in use: 17 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 4009732 m, 33822 m/sec, 18289908 t fired, . Pages in use: 17 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 4274055 m, 52864 m/sec, 19271355 t fired, . Pages in use: 18 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 4522372 m, 49663 m/sec, 20143966 t fired, . Pages in use: 19 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 4729252 m, 41376 m/sec, 21113805 t fired, . Pages in use: 20 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 4965067 m, 47163 m/sec, 22240117 t fired, . Pages in use: 21 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 5200161 m, 47018 m/sec, 23238443 t fired, . Pages in use: 22 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 5424913 m, 44950 m/sec, 24189080 t fired, . Pages in use: 23 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 5652571 m, 45531 m/sec, 25254989 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 5879846 m, 45455 m/sec, 26311528 t fired, . Pages in use: 25 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 6168215 m, 57673 m/sec, 27359928 t fired, . Pages in use: 26 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 6426233 m, 51603 m/sec, 28342471 t fired, . Pages in use: 27 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 6705631 m, 55879 m/sec, 29477707 t fired, . Pages in use: 28 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 7042918 m, 67457 m/sec, 30614915 t fired, . Pages in use: 30 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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-02a-CTLFireability-00 7299315 m, 51279 m/sec, 31755535 t fired, . Pages in use: 31 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 1 0 2 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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 32/32 DES-PT-02a-CTLFireability-00 7517787 m, 43694 m/sec, 32827828 t fired, . Pages in use: 32 4 Visible: 16 # 5 (type EXCL) for DES-PT-02a-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 10 0 0 3 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 Pages in use: 32 4 Visible: 16 # 78 (type EXCL) for 77 DES-PT-02a-CTLFireability-15 # 78 (type EXCL) for DES-PT-02a-CTLFireability-15 : false 83 165 : 0.000000 1 # 75 (type EXCL) for 74 DES-PT-02a-CTLFireability-14 # 75 (type EXCL) for DES-PT-02a-CTLFireability-14 : true 31 68 : 0.000000 1 # 66 (type EXCL) for 55 DES-PT-02a-CTLFireability-13 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-02a-CTLFireability-13 179466 m, 35893 m/sec, 1175485 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-02a-CTLFireability-13 344169 m, 32940 m/sec, 2311858 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-02a-CTLFireability-13 482190 m, 27604 m/sec, 3329172 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-02a-CTLFireability-13 613545 m, 26271 m/sec, 4364164 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-02a-CTLFireability-13 735759 m, 24442 m/sec, 5299545 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-02a-CTLFireability-13 861826 m, 25213 m/sec, 6192500 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-02a-CTLFireability-13 990602 m, 25755 m/sec, 7184231 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-02a-CTLFireability-13 1114182 m, 24716 m/sec, 8155075 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-02a-CTLFireability-13 1235588 m, 24281 m/sec, 9120747 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-02a-CTLFireability-13 1361336 m, 25149 m/sec, 10145899 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-02a-CTLFireability-13 1515858 m, 30904 m/sec, 11186948 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-02a-CTLFireability-13 1647323 m, 26293 m/sec, 12130017 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-02a-CTLFireability-13 1772234 m, 24982 m/sec, 13094271 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-02a-CTLFireability-13 1889508 m, 23454 m/sec, 13998429 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-02a-CTLFireability-13 2006820 m, 23462 m/sec, 14916266 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-02a-CTLFireability-13 2139818 m, 26599 m/sec, 15811225 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 DES-PT-02a-CTLFireability-13 2263952 m, 24826 m/sec, 16683721 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-02a-CTLFireability-13 2386623 m, 24534 m/sec, 17571285 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-02a-CTLFireability-13 2495824 m, 21840 m/sec, 18445942 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-02a-CTLFireability-13 2605671 m, 21969 m/sec, 19301108 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-02a-CTLFireability-13 2712761 m, 21418 m/sec, 20130973 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-02a-CTLFireability-13 2809256 m, 19299 m/sec, 20922715 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-02a-CTLFireability-13 2942309 m, 26610 m/sec, 21876946 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-02a-CTLFireability-13 3065692 m, 24676 m/sec, 22758544 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-02a-CTLFireability-13 3178186 m, 22498 m/sec, 23671056 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-02a-CTLFireability-13 3283841 m, 21131 m/sec, 24739165 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-02a-CTLFireability-13 3394035 m, 22038 m/sec, 25815357 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-02a-CTLFireability-13 3499079 m, 21008 m/sec, 26880753 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 DES-PT-02a-CTLFireability-13 3604962 m, 21176 m/sec, 27943182 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 DES-PT-02a-CTLFireability-13 3698909 m, 18789 m/sec, 29011174 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 DES-PT-02a-CTLFireability-13 3808420 m, 21902 m/sec, 30141547 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-02a-CTLFireability-13 3904513 m, 19218 m/sec, 31165165 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-02a-CTLFireability-13 3985173 m, 16132 m/sec, 32189265 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-02a-CTLFireability-13 4096123 m, 22190 m/sec, 33232334 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-02a-CTLFireability-13 4219205 m, 24616 m/sec, 34233514 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 DES-PT-02a-CTLFireability-13 4351950 m, 26549 m/sec, 35220716 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 DES-PT-02a-CTLFireability-13 4470404 m, 23690 m/sec, 36077271 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-02a-CTLFireability-13 4585965 m, 23112 m/sec, 36944777 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-02a-CTLFireability-13 4685417 m, 19890 m/sec, 37993201 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 DES-PT-02a-CTLFireability-13 4826856 m, 28287 m/sec, 39161134 t fired, . Pages in use: 32 4 Visible: 16 # 66 (type EXCL) for DES-PT-02a-CTLFireability-13 (local timeout) VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 0 0 10 1 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 4 Visible: 16 # 53 (type EXCL) for 52 DES-PT-02a-CTLFireability-12 # 66 (type EXCL) for 55 DES-PT-02a-CTLFireability-13 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-02a-CTLFireability-12 79481 m, 15896 m/sec, 971993 t fired, . 1/5 DES-PT-02a-CTLFireability-13 182428 m, -928885 m/sec, 1196877 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-02a-CTLFireability-12 140823 m, 12268 m/sec, 1876293 t fired, . 2/5 DES-PT-02a-CTLFireability-13 342036 m, 31921 m/sec, 2294106 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-02a-CTLFireability-12 208878 m, 13611 m/sec, 2795408 t fired, . 3/5 DES-PT-02a-CTLFireability-13 481716 m, 27936 m/sec, 3324356 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-02a-CTLFireability-12 267974 m, 11819 m/sec, 3657371 t fired, . 3/5 DES-PT-02a-CTLFireability-13 596676 m, 22992 m/sec, 4236548 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-02a-CTLFireability-12 338898 m, 14184 m/sec, 4594374 t fired, . 4/5 DES-PT-02a-CTLFireability-13 715668 m, 23798 m/sec, 5178168 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-02a-CTLFireability-12 406689 m, 13558 m/sec, 5544155 t fired, . 4/5 DES-PT-02a-CTLFireability-13 849829 m, 26832 m/sec, 6103004 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-02a-CTLFireability-12 462138 m, 11089 m/sec, 6456175 t fired, . 5/5 DES-PT-02a-CTLFireability-13 970497 m, 24133 m/sec, 7020492 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-02a-CTLFireability-12 516430 m, 10858 m/sec, 7328949 t fired, . 5/5 DES-PT-02a-CTLFireability-13 1075608 m, 21022 m/sec, 7844769 t fired, . Pages in use: 33 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 1 0 10 0 0 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-02a-CTLFireability-12 572191 m, 11152 m/sec, 8228990 t fired, . 5/5 DES-PT-02a-CTLFireability-13 1178465 m, 20571 m/sec, 8689848 t fired, . Pages in use: 34 4 Visible: 16 # 66 (type EXCL) for DES-PT-02a-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-02a-CTLFireability-12 623895 m, 10340 m/sec, 9203491 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-02a-CTLFireability-12 690968 m, 13414 m/sec, 10151893 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-02a-CTLFireability-12 758180 m, 13442 m/sec, 11022655 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-02a-CTLFireability-12 818403 m, 12044 m/sec, 11948075 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-02a-CTLFireability-12 873533 m, 11026 m/sec, 12859909 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-02a-CTLFireability-12 929495 m, 11192 m/sec, 13762761 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-02a-CTLFireability-12 979393 m, 9979 m/sec, 14610313 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-02a-CTLFireability-12 1027702 m, 9661 m/sec, 15519148 t fired, . Pages in use: 35 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-02a-CTLFireability-12 1085779 m, 11615 m/sec, 16446777 t fired, . Pages in use: 35 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-02a-CTLFireability-12 1145043 m, 11852 m/sec, 17371941 t fired, . Pages in use: 36 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-02a-CTLFireability-12 1211147 m, 13220 m/sec, 18300293 t fired, . Pages in use: 38 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-02a-CTLFireability-12 1282724 m, 14315 m/sec, 19285516 t fired, . Pages in use: 38 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-02a-CTLFireability-12 1346377 m, 12730 m/sec, 20183866 t fired, . Pages in use: 39 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-02a-CTLFireability-12 1402550 m, 11234 m/sec, 21080427 t fired, . Pages in use: 39 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-02a-CTLFireability-12 1454817 m, 10453 m/sec, 21981541 t fired, . Pages in use: 41 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 10 0 1 3 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-02a-CTLFireability-12 1506713 m, 10379 m/sec, 22831016 t fired, . Pages in use: 41 4 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 1 0 0 2 0 1 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-02a"
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-02a, 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-162038392600034"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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