MCC'2021- Execution of r061-tall-162038392700106

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7438.936	1793632.00	4405952.00	7236.80	FT?TF?TT???T?FFF	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-30b,
Time confinement
Memory confinement
Number of cores is 4
Run identifier is
=============================

--------------------
preparation of the directory
/home/mcc/execution
total 492K
-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 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 103K May

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

=== Data for post analysis

The expected result
BOOL_VECTOR

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

=== Now, execution of

BK_START 1620820825483

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

FORMULA DES-PT-30b-CTLFireability-00

FORMULA DES-PT-30b-CTLFireability-11

FORMULA DES-PT-30b-CTLFireability-15

FORMULA DES-PT-30b-CTLFireability-14

FORMULA DES-PT-30b-CTLFireability-07

FORMULA DES-PT-30b-CTLFireability-06

FORMULA DES-PT-30b-CTLFireability-04

FORMULA DES-PT-30b-CTLFireability-03

FORMULA DES-PT-30b-CTLFireability-01

FORMULA DES-PT-30b-CTLFireability-13

BK_STOP 1620822619115

--------------------
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: 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: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: 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: 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 : 107 sec
lola: memory limit: 32 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: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
sara: try reading problem
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: CANCELED task
lola: FINISHED task
lola: result
lola: Created skeleton
lola: FINISHED task
lola: result
lola: time used
lola: memory pages used :
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: Created skeleton
lola: LAUNCH task
lola: time limit : 127 sec
lola: memory limit: 32 pages
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: 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: 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: FINISHED task
lola: result
lola: tried executions :
lola: time used
lola: memory pages used :
lola: Created skeleton
sara: try reading problem
lola: 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: time used
lola: memory pages used :
lola: CANCELED task
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: rewrite Frontend/Pars
lola: 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
sara: place or transition
lola: Created skeleton
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
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:

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

TASK CATEGORY TYPE
7 CTL EXCL 3/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 8/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 13/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 18/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 23/187

Time elapsed: 63 secs.
# running tasks: 1 of

lola: FINISHED task
lola: result
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:

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

TASK CATEGORY TYPE
7 CTL EXCL 29/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 34/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 39/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 44/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 49/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 54/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 59/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 64/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 69/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 74/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 79/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 84/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 89/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 94/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 99/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 104/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 109/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 114/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 119/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 124/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 129/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 134/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 139/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 144/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 149/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 154/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 159/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 164/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 169/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 174/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 179/187

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

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

TASK CATEGORY TYPE
7 CTL EXCL 184/187

Time elapsed: 224 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:

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

TASK CATEGORY TYPE

Time elapsed: 229 secs.
# running tasks: 1 of
lola: LAUNCH task
lola: time limit : 187 sec
lola: memory limit: 32 pages
lola: LAUNCH task
lola: time limit : 3371 sec
lola: memory limit: 5 pages
lola: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 5/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 10/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 15/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 20/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 25/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 30/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 35/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 40/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 45/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 50/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 55/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 60/224

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

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE
7 CTL EXCL 65/224

Time elapsed: 294 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:
DES-PT-30b-CTLFireability-05:
DES-PT-30b-CTLFireability-06:
DES-PT-30b-CTLFireability-07:
DES-PT-30b-CTLFireability-08:
DES-PT-30b-CTLFireability-09:
DES-PT-30b-CTLFireability-10:
DES-PT-30b-CTLFireability-12:
DES-PT-30b-CTLFireability-13:
DES-PT-30b-CTLFireability-14:

TASK CATEGORY TYPE

Time elapsed: 299 secs.
# running tasks: 1 of
lola: LAUNCH task
lola: time limit : 235 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 : 253 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: time used
lola: memory pages used :
lola: LAUNCH task
lola: time limit : 275 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 5/275

Time elapsed: 304 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 10/275

Time elapsed: 309 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 15/275

Time elapsed: 314 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 20/275

Time elapsed: 319 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 25/275

Time elapsed: 324 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 30/275

Time elapsed: 329 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 35/275

Time elapsed: 334 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 40/275

Time elapsed: 339 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 45/275

Time elapsed: 344 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 50/275

Time elapsed: 349 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 55/275

Time elapsed: 354 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 60/275

Time elapsed: 359 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 65/275

Time elapsed: 364 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 70/275

Time elapsed: 369 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 75/275

Time elapsed: 374 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 80/275

Time elapsed: 379 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 85/275

Time elapsed: 384 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 90/275

Time elapsed: 389 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 95/275

Time elapsed: 394 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 100/275

Time elapsed: 399 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 105/275

Time elapsed: 404 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 110/275

Time elapsed: 409 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 115/275

Time elapsed: 414 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 120/275

Time elapsed: 419 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 125/275

Time elapsed: 424 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 130/275

Time elapsed: 429 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 135/275

Time elapsed: 434 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 140/275

Time elapsed: 439 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 145/275

Time elapsed: 444 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 150/275

Time elapsed: 449 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 155/275

Time elapsed: 454 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 160/275

Time elapsed: 459 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 165/275

Time elapsed: 464 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 170/275

Time elapsed: 469 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 175/275

Time elapsed: 474 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 180/275

Time elapsed: 479 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 185/275

Time elapsed: 484 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 190/275

Time elapsed: 489 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 195/275

Time elapsed: 494 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
43 CTL EXCL 200/275

Time elapsed: 499 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE

Time elapsed: 504 secs.
# running tasks: 1 of
lola: LAUNCH task
lola: time limit : 281 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 5/281

Time elapsed: 509 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 10/281

Time elapsed: 514 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 15/281

Time elapsed: 519 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 20/281

Time elapsed: 524 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 25/281

Time elapsed: 529 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 30/281

Time elapsed: 534 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 35/281

Time elapsed: 539 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 40/281

Time elapsed: 544 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 45/281

Time elapsed: 549 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 50/281

Time elapsed: 554 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 55/281

Time elapsed: 559 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

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

TASK CATEGORY TYPE
35 CTL EXCL 60/281

Time elapsed: 564 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
DES-PT-30b-CTLFireability-00:
DES-PT-30b-CTLFireability-11:
DES-PT-30b-CTLFireability-14:
DES-PT-30b-CTLFireability-15:

PENDING FORMULAS: CATEGORY
DES-PT-30b-CTLFireability-01:
DES-PT-30b-CTLFireability-02:
DES-PT-30b-CTLFireability-03:
DES-PT-30b-CTLFireability-04:

========== file over
retrieve it from the
nput.r061-tall-162038392700106.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-162038392700106 ======================================== to be used: 14K May 5 16:58 CTLCardinality.txt 127K May 10 09:42 CTLCardinality.xml 11K May 5 16:58 CTLFireability.txt 97K May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.2K Mar 28 15:56 LTLCardinality.txt 23K Mar 28 15:56 LTLCardinality.xml 1.9K Mar 28 15:56 LTLFireability.txt 17K Mar 28 15:56 LTLFireability.xml 3.3K Mar 23 03:24 ReachabilityCardinality.txt 18K Mar 23 03:24 ReachabilityCardinality.xml 2.5K Mar 22 12:53 ReachabilityFireability.txt 15K Mar 22 12:53 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 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 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 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 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT file (--pnmlnet) from /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:388 er/formula_rewrite.k:475 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:457 er/formula_rewrite.k:253 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:475 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:325 er/formula_rewrite.k:340 er/formula_rewrite.k:299 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:394 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:451 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:296 er/formula_rewrite.k:250 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:322 er/formula_rewrite.k:328 er/formula_rewrite.k:317 er/formula_rewrite.k:296 er/formula_rewrite.k:314 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:299 er/formula_rewrite.k:550 er/formula_rewrite.k:550 er/formula_rewrite.k:472 er/formula_rewrite.k:394 er/formula_rewrite.k:253 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:322 er/formula_rewrite.k:337 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:337 er/formula_rewrite.k:322 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:325 er/formula_rewrite.k:337 er/formula_rewrite.k:317 er/formula_rewrite.k:325 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:296 er/formula_rewrite.k:317 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:296 er/formula_rewrite.k:253 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:328 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:325 er/formula_rewrite.k:334 er/formula_rewrite.k:299 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:296 er/formula_rewrite.k:469 er/formula_rewrite.k:322 er/formula_rewrite.k:334 er/formula_rewrite.k:322 er/formula_rewrite.k:331 er/formula_rewrite.k:296 er/formula_rewrite.k:250 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. er/formula_rewrite.k:721 er/formula_rewrite.k:788 er/formula_rewrite.k:721 er/formula_rewrite.k:788 er/formula_rewrite.k:721 er/formula_rewrite.k:788 # 71 (type EXCL) for 0 DES-PT-30b-CTLFireability-00 # 69 (type FNDP) for 0 DES-PT-30b-CTLFireability-00 : 32000000 sec # 70 (type EQUN) for 0 DES-PT-30b-CTLFireability-00 : 32000000 sec er/formula_rewrite.k:721 er/formula_rewrite.k:788 # 72 (type SRCH) for 0 DES-PT-30b-CTLFireability-00 : 32000000 sec file /home/mcc/execution/CTLFireability-70.sara. # 69 (type FNDP) for DES-PT-30b-CTLFireability-00 : true 375 13 : 1.000000 0 # 70 (type EQUN) for DES-PT-30b-CTLFireability-00 (obsolete) # 71 (type EXCL) for DES-PT-30b-CTLFireability-00 (obsolete) # 72 (type SRCH) for DES-PT-30b-CTLFireability-00 (obsolete) # 70 (type EQUN) for DES-PT-30b-CTLFireability-00 : unknown in 0.000000 secs. # 72 (type SRCH) for DES-PT-30b-CTLFireability-00 : unknown : 1.000000 1 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. er/formula_rewrite.k:807 er/formula_rewrite.k:815 er/formula_rewrite.k:813 er/formula_rewrite.k:813 er/formula_rewrite.k:811 er/formula_rewrite.k:812 er/formula_rewrite.k:809 er/formula_rewrite.k:814 er/formula_rewrite.k:809 er/formula_rewrite.k:808 er/formula_rewrite.k:813 er/formula_rewrite.k:812 in 0.000000 secs. # 7 (type EXCL) for 6 DES-PT-30b-CTLFireability-02 in 0.000000 secs. in 0.000000 secs. er/formula_rewrite.k:812 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:809 er/formula_rewrite.k:811 er/formula_rewrite.k:807 er/formula_rewrite.k:807 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:808 er/formula_rewrite.k:814 er/formula_rewrite.k:808 er/formula_rewrite.k:814 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:809 er/formula_rewrite.k:814 er/formula_rewrite.k:814 er/formula_rewrite.k:812 er/formula_rewrite.k:811 er/formula_rewrite.k:809 er/formula_rewrite.k:812 in 0.000000 secs. er/formula_rewrite.k:711 er/formula_rewrite.k:711 er/formula_rewrite.k:711 er/formula_rewrite.k:814 er/formula_rewrite.k:808 er/formula_rewrite.k:813 er/formula_rewrite.k:810 er/formula_rewrite.k:815 er/formula_rewrite.k:815 er/formula_rewrite.k:813 er/formula_rewrite.k:811 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:807 er/formula_rewrite.k:812 er/formula_rewrite.k:806 er/formula_rewrite.k:812 er/formula_rewrite.k:807 er/formula_rewrite.k:806 er/formula_rewrite.k:813 er/formula_rewrite.k:807 er/formula_rewrite.k:813 er/formula_rewrite.k:814 er/formula_rewrite.k:812 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:813 er/formula_rewrite.k:809 # 73 (type FNDP) for 37 DES-PT-30b-CTLFireability-11 : 32000000 sec # 74 (type EQUN) for 37 DES-PT-30b-CTLFireability-11 : 32000000 sec # 76 (type SRCH) for 37 DES-PT-30b-CTLFireability-11 : 32000000 sec er/formula_rewrite.k:711 # 73 (type FNDP) for DES-PT-30b-CTLFireability-11 : true 1 : 0.000000 0 in 0.000000 secs. file /home/mcc/execution/CTLFireability-74.sara. 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 er/formula_rewrite.k:806 # 76 (type SRCH) for DES-PT-30b-CTLFireability-11 : unknown : 1.000000 1 # 74 (type EQUN) for DES-PT-30b-CTLFireability-11 (obsolete) er/formula_rewrite.k:715 er/formula_rewrite.k:807 er/formula_rewrite.k:811 er/formula_rewrite.k:812 er/formula_rewrite.k:814 er/formula_rewrite.k:812 er/formula_rewrite.k:808 er/formula_rewrite.k:807 er/formula_rewrite.k:814 er/formula_rewrite.k:809 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:806 in 0.000000 secs. ordering is non-deterministic in 0.000000 secs. er/formula_rewrite.k:811 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:807 er/formula_rewrite.k:814 er/formula_rewrite.k:811 er/formula_rewrite.k:808 er/formula_rewrite.k:814 er/formula_rewrite.k:808 er/formula_rewrite.k:814 er/formula_rewrite.k:806 er/formula_rewrite.k:807 er/formula_rewrite.k:807 er/formula_rewrite.k:813 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-30b-CTLFireability-02 65100 m, 13020 m/sec, 360059 t fired, . Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-30b-CTLFireability-02 155259 m, 18031 m/sec, 942048 t fired, . Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-30b-CTLFireability-02 247260 m, 18400 m/sec, 1547303 t fired, . Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-30b-CTLFireability-02 334160 m, 17380 m/sec, 2119209 t fired, . Pages in use: 2 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-30b-CTLFireability-02 426548 m, 18477 m/sec, 2718585 t fired, . Pages in use: 2 4 Visible: 16 # 74 (type EQUN) for DES-PT-30b-CTLFireability-11 : true VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-30b-CTLFireability-02 521869 m, 19064 m/sec, 3346307 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-30b-CTLFireability-02 613261 m, 18278 m/sec, 3948628 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-02 696091 m, 16566 m/sec, 4527364 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-02 784093 m, 17600 m/sec, 5124452 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-02 860277 m, 15236 m/sec, 5700798 t fired, . Pages in use: 4 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-30b-CTLFireability-02 942083 m, 16361 m/sec, 6320204 t fired, . Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-30b-CTLFireability-02 1023587 m, 16300 m/sec, 6937481 t fired, . Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-30b-CTLFireability-02 1103952 m, 16073 m/sec, 7542154 t fired, . Pages in use: 5 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-30b-CTLFireability-02 1185632 m, 16336 m/sec, 8155858 t fired, . Pages in use: 6 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-30b-CTLFireability-02 1267719 m, 16417 m/sec, 8761391 t fired, . Pages in use: 6 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-30b-CTLFireability-02 1340099 m, 14476 m/sec, 9347271 t fired, . Pages in use: 7 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-30b-CTLFireability-02 1423544 m, 16689 m/sec, 9955689 t fired, . Pages in use: 7 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-30b-CTLFireability-02 1510395 m, 17370 m/sec, 10584302 t fired, . Pages in use: 7 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-30b-CTLFireability-02 1585614 m, 15043 m/sec, 11152986 t fired, . Pages in use: 8 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-30b-CTLFireability-02 1665880 m, 16053 m/sec, 11752352 t fired, . Pages in use: 8 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-30b-CTLFireability-02 1740075 m, 14839 m/sec, 12312848 t fired, . Pages in use: 8 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-30b-CTLFireability-02 1820050 m, 15995 m/sec, 12918286 t fired, . Pages in use: 9 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-30b-CTLFireability-02 1899413 m, 15872 m/sec, 13518560 t fired, . Pages in use: 9 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-30b-CTLFireability-02 1982297 m, 16576 m/sec, 14140951 t fired, . Pages in use: 9 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 DES-PT-30b-CTLFireability-02 2058404 m, 15221 m/sec, 14756498 t fired, . Pages in use: 10 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 DES-PT-30b-CTLFireability-02 2148970 m, 18113 m/sec, 15363326 t fired, . Pages in use: 10 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-30b-CTLFireability-02 2233541 m, 16914 m/sec, 15942749 t fired, . Pages in use: 11 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-30b-CTLFireability-02 2317629 m, 16817 m/sec, 16523733 t fired, . Pages in use: 11 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-30b-CTLFireability-02 2408260 m, 18126 m/sec, 17142850 t fired, . Pages in use: 11 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-30b-CTLFireability-02 2491544 m, 16656 m/sec, 17735303 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-30b-CTLFireability-02 2568676 m, 15426 m/sec, 18329549 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-30b-CTLFireability-02 2642691 m, 14803 m/sec, 18913600 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-30b-CTLFireability-02 2717078 m, 14877 m/sec, 19500809 t fired, . Pages in use: 13 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-30b-CTLFireability-02 2789589 m, 14502 m/sec, 20062549 t fired, . Pages in use: 13 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-30b-CTLFireability-02 2856784 m, 13439 m/sec, 20618024 t fired, . Pages in use: 13 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-30b-CTLFireability-02 2932989 m, 15241 m/sec, 21181109 t fired, . Pages in use: 14 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-30b-CTLFireability-02 3002991 m, 14000 m/sec, 21733342 t fired, . Pages in use: 14 4 Visible: 16 # 7 (type EXCL) for DES-PT-30b-CTLFireability-02 (local timeout) VALUE PRODUCED BY AG false findpath EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 1 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 CONJ 0 4 0 0 4 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 14 4 Visible: 16 # 66 (type EXCL) for 53 DES-PT-30b-CTLFireability-15 # 7 (type EXCL) for 6 DES-PT-30b-CTLFireability-02 # 66 (type EXCL) for DES-PT-30b-CTLFireability-15 : false 36 36 : 0.000000 1 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 DES-PT-30b-CTLFireability-02 104246 m, -579749 m/sec, 610086 t fired, . Pages in use: 16 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 DES-PT-30b-CTLFireability-02 193673 m, 17885 m/sec, 1198045 t fired, . Pages in use: 16 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/5 DES-PT-30b-CTLFireability-02 286028 m, 18471 m/sec, 1797502 t fired, . Pages in use: 18 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/5 DES-PT-30b-CTLFireability-02 374165 m, 17627 m/sec, 2377754 t fired, . Pages in use: 18 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/5 DES-PT-30b-CTLFireability-02 464091 m, 17985 m/sec, 2968940 t fired, . Pages in use: 19 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/5 DES-PT-30b-CTLFireability-02 548745 m, 16930 m/sec, 3520568 t fired, . Pages in use: 20 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/5 DES-PT-30b-CTLFireability-02 633098 m, 16870 m/sec, 4089382 t fired, . Pages in use: 20 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/5 DES-PT-30b-CTLFireability-02 718717 m, 17123 m/sec, 4673259 t fired, . Pages in use: 21 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/5 DES-PT-30b-CTLFireability-02 801838 m, 16624 m/sec, 5260948 t fired, . Pages in use: 22 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/5 DES-PT-30b-CTLFireability-02 879176 m, 15467 m/sec, 5846282 t fired, . Pages in use: 22 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/5 DES-PT-30b-CTLFireability-02 957802 m, 15725 m/sec, 6441048 t fired, . Pages in use: 23 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/5 DES-PT-30b-CTLFireability-02 1033643 m, 15168 m/sec, 7013135 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/5 DES-PT-30b-CTLFireability-02 1107204 m, 14712 m/sec, 7563636 t fired, . Pages in use: 24 4 Visible: 16 # 7 (type EXCL) for DES-PT-30b-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY AG false findpath EF true findpath CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 24 4 Visible: 16 # 51 (type EXCL) for 50 DES-PT-30b-CTLFireability-14 # 51 (type EXCL) for DES-PT-30b-CTLFireability-14 : false 12438 56089 : 0.000000 1 # 45 (type EXCL) for 40 DES-PT-30b-CTLFireability-12 # 45 (type EXCL) for DES-PT-30b-CTLFireability-12 : true : 0.000000 1 # 43 (type EXCL) for 40 DES-PT-30b-CTLFireability-12 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-30b-CTLFireability-12 210331 m, 42066 m/sec, 484077 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-30b-CTLFireability-12 424827 m, 42899 m/sec, 1050532 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-12 656592 m, 46353 m/sec, 1655046 t fired, . Pages in use: 24 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-30b-CTLFireability-12 873992 m, 43480 m/sec, 2263556 t fired, . Pages in use: 26 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-30b-CTLFireability-12 1066261 m, 38453 m/sec, 2821927 t fired, . Pages in use: 27 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-30b-CTLFireability-12 1258463 m, 38440 m/sec, 3410445 t fired, . Pages in use: 28 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 DES-PT-30b-CTLFireability-12 1453759 m, 39059 m/sec, 3976133 t fired, . Pages in use: 28 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 DES-PT-30b-CTLFireability-12 1628439 m, 34936 m/sec, 4549921 t fired, . Pages in use: 30 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 DES-PT-30b-CTLFireability-12 1763401 m, 26992 m/sec, 5129774 t fired, . Pages in use: 31 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 DES-PT-30b-CTLFireability-12 1909207 m, 29161 m/sec, 5698642 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 DES-PT-30b-CTLFireability-12 2101945 m, 38547 m/sec, 6281465 t fired, . Pages in use: 34 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-30b-CTLFireability-12 2298094 m, 39229 m/sec, 6838708 t fired, . Pages in use: 35 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 DES-PT-30b-CTLFireability-12 2477859 m, 35953 m/sec, 7388418 t fired, . Pages in use: 36 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 DES-PT-30b-CTLFireability-12 2673712 m, 39170 m/sec, 7976162 t fired, . Pages in use: 37 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 DES-PT-30b-CTLFireability-12 2837435 m, 32744 m/sec, 8521609 t fired, . Pages in use: 38 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 DES-PT-30b-CTLFireability-12 2963554 m, 25223 m/sec, 9088773 t fired, . Pages in use: 40 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 DES-PT-30b-CTLFireability-12 3118170 m, 30923 m/sec, 9648738 t fired, . Pages in use: 41 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-30b-CTLFireability-12 3303331 m, 37032 m/sec, 10211813 t fired, . Pages in use: 42 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 DES-PT-30b-CTLFireability-12 3498124 m, 38958 m/sec, 10765100 t fired, . Pages in use: 43 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 DES-PT-30b-CTLFireability-12 3696051 m, 39585 m/sec, 11358734 t fired, . Pages in use: 44 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 19/32 DES-PT-30b-CTLFireability-12 3889155 m, 38620 m/sec, 11946989 t fired, . Pages in use: 45 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 DES-PT-30b-CTLFireability-12 4048702 m, 31909 m/sec, 12509709 t fired, . Pages in use: 47 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 DES-PT-30b-CTLFireability-12 4178404 m, 25940 m/sec, 13085454 t fired, . Pages in use: 48 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 DES-PT-30b-CTLFireability-12 4304975 m, 25314 m/sec, 13600727 t fired, . Pages in use: 48 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 DES-PT-30b-CTLFireability-12 4435091 m, 26023 m/sec, 14163091 t fired, . Pages in use: 50 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 DES-PT-30b-CTLFireability-12 4561899 m, 25361 m/sec, 14696396 t fired, . Pages in use: 51 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 DES-PT-30b-CTLFireability-12 4694417 m, 26503 m/sec, 15247414 t fired, . Pages in use: 52 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 DES-PT-30b-CTLFireability-12 4824779 m, 26072 m/sec, 15815408 t fired, . Pages in use: 53 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 DES-PT-30b-CTLFireability-12 4960628 m, 27169 m/sec, 16367185 t fired, . Pages in use: 54 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 DES-PT-30b-CTLFireability-12 5081299 m, 24134 m/sec, 16908492 t fired, . Pages in use: 55 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 DES-PT-30b-CTLFireability-12 5198379 m, 23416 m/sec, 17452226 t fired, . Pages in use: 56 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 DES-PT-30b-CTLFireability-12 5297865 m, 19897 m/sec, 18008598 t fired, . Pages in use: 56 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 DES-PT-30b-CTLFireability-12 5395259 m, 19478 m/sec, 18556716 t fired, . Pages in use: 58 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 DES-PT-30b-CTLFireability-12 5545090 m, 29966 m/sec, 19098236 t fired, . Pages in use: 58 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 DES-PT-30b-CTLFireability-12 5738466 m, 38675 m/sec, 19675989 t fired, . Pages in use: 59 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 29/32 DES-PT-30b-CTLFireability-12 5929784 m, 38263 m/sec, 20262082 t fired, . Pages in use: 61 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 DES-PT-30b-CTLFireability-12 6118541 m, 37751 m/sec, 20834171 t fired, . Pages in use: 62 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 31/32 DES-PT-30b-CTLFireability-12 6274152 m, 31122 m/sec, 21367815 t fired, . Pages in use: 63 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 32/32 DES-PT-30b-CTLFireability-12 6398881 m, 24945 m/sec, 21925338 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 1 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 32/32 DES-PT-30b-CTLFireability-12 6563588 m, 32941 m/sec, 22470313 t fired, . Pages in use: 65 4 Visible: 16 # 43 (type EXCL) for DES-PT-30b-CTLFireability-12 (memory limit exceeded) VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 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 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 65 4 Visible: 16 # 35 (type EXCL) for 34 DES-PT-30b-CTLFireability-10 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/32 DES-PT-30b-CTLFireability-10 129328 m, 25865 m/sec, 648072 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-30b-CTLFireability-10 245581 m, 23250 m/sec, 1290704 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 DES-PT-30b-CTLFireability-10 354628 m, 21809 m/sec, 1892397 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-30b-CTLFireability-10 465430 m, 22160 m/sec, 2512336 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 DES-PT-30b-CTLFireability-10 578489 m, 22611 m/sec, 3123757 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-10 680223 m, 20346 m/sec, 3742572 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-10 786169 m, 21189 m/sec, 4354978 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 DES-PT-30b-CTLFireability-10 881682 m, 19102 m/sec, 4983675 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-30b-CTLFireability-10 972740 m, 18211 m/sec, 5575032 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 DES-PT-30b-CTLFireability-10 1067040 m, 18860 m/sec, 6195139 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-30b-CTLFireability-10 1159042 m, 18400 m/sec, 6800847 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 DES-PT-30b-CTLFireability-10 1256549 m, 19501 m/sec, 7423397 t fired, . Pages in use: 65 4 Visible: 16 VALUE PRODUCED BY AG false findpath EF true findpath CTL false CTL model checker CONJ false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 1MB has been truncated ====== run archives if needed

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-30b"
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-30b, 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-162038392700106"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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