MCC'2021- Execution of r080-tall-162048871400777

About the Execution of LoLA for FMS-PT-00200

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4447.092	717027.00	757417.00	2318.20	?FFT??TFT??T???F	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-inp
Waiting for the VM to
...............................
.........
...............................
...............................
...............................
...............................
...............................
===============================
Generated by BenchKit 2-4028
Executing tool lola
Input is FMS-PT-00200,
Time confinement
Memory confinement
Number of cores is 4
Run identifier is
===============================

--------------------
preparation of the directory
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users
-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.3K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa
FORMULA_NAME FMS-PT-00200-CTLCa

=== Now, execution of

BK_START 1620822365516

starting LoLA
BK_INPUT FMS-PT-00200
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchK
current directory: /home/mcc/ex

FORMULA FMS-PT-00200-CTLCardinality-06

FORMULA FMS-PT-00200-CTLCardinality-08

FORMULA FMS-PT-00200-CTLCardinality-15

FORMULA FMS-PT-00200-CTLCardinality-07

FORMULA FMS-PT-00200-CTLCardinality-02

FORMULA FMS-PT-00200-CTLCardinality-11

FORMULA FMS-PT-00200-CTLCardinality-01

FORMULA FMS-PT-00200-CTLCardinality-03

BK_STOP 1620823082543

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: LAUNCH task #
lola: time limit : 133 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 : 143 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
lola: rewrite Frontend/Parser
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/Parser
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: FINISHED task
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
sara: try reading problem

lola: FINISHED task
lola: result
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 4/239

Time elapsed: 5 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 9/239

Time elapsed: 10 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 14/239

Time elapsed: 15 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 19/239

Time elapsed: 20 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 24/239

Time elapsed: 25 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 29/239

Time elapsed: 30 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 34/239

Time elapsed: 35 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 40/239

Time elapsed: 41 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 45/239

Time elapsed: 46 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 50/239

Time elapsed: 51 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 55/239

Time elapsed: 56 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE
13 CTL EXCL 60/239

Time elapsed: 61 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:
FMS-PT-00200-CTLCardinality-15:

TASK CATEGORY TYPE

Time elapsed: 66 secs.
# running tasks: 1 of
lola: LAUNCH task #
lola: time limit : 252 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 : 271 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 5/271

Time elapsed: 71 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 10/271

Time elapsed: 76 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 15/271

Time elapsed: 81 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 20/271

Time elapsed: 86 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 25/271

Time elapsed: 91 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 30/271

Time elapsed: 96 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 35/271

Time elapsed: 101 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
44 CTL EXCL 40/271

Time elapsed: 106 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE

Time elapsed: 111 secs.
# running tasks: 1 of
lola: LAUNCH task #
lola: time limit : 290 sec
lola: memory limit: 32 pages
lola: FINISHED task
lola: result
lola: time used :
lola: memory pages used :
lola: LAUNCH task #
lola: time limit : 317 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 5/317

Time elapsed: 116 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 10/317

Time elapsed: 121 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 15/317

Time elapsed: 126 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 20/317

Time elapsed: 131 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 25/317

Time elapsed: 136 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 30/317

Time elapsed: 141 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 35/317

Time elapsed: 146 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 40/317

Time elapsed: 151 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 45/317

Time elapsed: 156 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 50/317

Time elapsed: 161 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 55/317

Time elapsed: 166 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 60/317

Time elapsed: 171 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 65/317

Time elapsed: 176 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 70/317

Time elapsed: 181 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 75/317

Time elapsed: 186 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 80/317

Time elapsed: 191 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
31 CTL EXCL 85/317

Time elapsed: 196 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE

Time elapsed: 201 secs.
# running tasks: 1 of
lola: LAUNCH task #
lola: time limit : 339 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 5/339

Time elapsed: 206 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 10/339

Time elapsed: 211 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 15/339

Time elapsed: 216 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 20/339

Time elapsed: 221 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 25/339

Time elapsed: 226 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 30/339

Time elapsed: 231 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 35/339

Time elapsed: 236 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 40/339

Time elapsed: 241 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 45/339

Time elapsed: 246 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 50/339

Time elapsed: 251 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 55/339

Time elapsed: 256 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
28 CTL EXCL 60/339

Time elapsed: 261 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE

Time elapsed: 266 secs.
# running tasks: 1 of
lola: LAUNCH task #
lola: time limit : 370 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 : 416 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 : 476 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 4/476

Time elapsed: 271 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 9/476

Time elapsed: 276 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 14/476

Time elapsed: 281 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 19/476

Time elapsed: 286 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 24/476

Time elapsed: 291 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 29/476

Time elapsed: 296 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 34/476

Time elapsed: 301 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 39/476

Time elapsed: 306 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 44/476

Time elapsed: 311 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 49/476

Time elapsed: 316 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 54/476

Time elapsed: 321 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 59/476

Time elapsed: 326 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 64/476

Time elapsed: 331 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 69/476

Time elapsed: 336 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 74/476

Time elapsed: 341 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 79/476

Time elapsed: 346 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 84/476

Time elapsed: 351 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 89/476

Time elapsed: 356 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 94/476

Time elapsed: 361 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 99/476

Time elapsed: 366 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 104/476

Time elapsed: 371 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 109/476

Time elapsed: 376 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 114/476

Time elapsed: 381 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 119/476

Time elapsed: 386 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 124/476

Time elapsed: 391 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 129/476

Time elapsed: 396 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
1 CTL EXCL 134/476

Time elapsed: 401 secs.
# running tasks: 1 of
lola: CANCELED task
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE

Time elapsed: 406 secs.
# running tasks: 1 of
lola: LAUNCH task #
lola: time limit : 532 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 : 638 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 5/638

Time elapsed: 411 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 10/638

Time elapsed: 416 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 15/638

Time elapsed: 421 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 20/638

Time elapsed: 426 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 25/638

Time elapsed: 431 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 30/638

Time elapsed: 436 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 35/638

Time elapsed: 441 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 40/638

Time elapsed: 446 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 45/638

Time elapsed: 451 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 50/638

Time elapsed: 456 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 55/638

Time elapsed: 461 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 60/638

Time elapsed: 466 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 65/638

Time elapsed: 471 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 70/638

Time elapsed: 476 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:
FMS-PT-00200-CTLCardinality-14:

TASK CATEGORY TYPE
16 AGEF EXCL 75/638

Time elapsed: 481 secs.
# running tasks: 1 of
FINISHED FORMULA: CATEGORY
FMS-PT-00200-CTLCardinality-02:
FMS-PT-00200-CTLCardinality-06:
FMS-PT-00200-CTLCardinality-07:
FMS-PT-00200-CTLCardinality-08:
FMS-PT-00200-CTLCardinality-11:
FMS-PT-00200-CTLCardinality-15:

PENDING FORMULAS: CATEGORY
FMS-PT-00200-CTLCardinality-00:
FMS-PT-00200-CTLCardinality-01:
FMS-PT-00200-CTLCardinality-03:
FMS-PT-00200-CTLCardinality-04:
FMS-PT-00200-CTLCardinality-05:
FMS-PT-00200-CTLCardinality-09:
FMS-PT-00200-CTLCardinality-10:
FMS-PT-00200-CTLCardinality-12:
FMS-PT-00200-CTLCardinality-13:

========== file over
retrieve it from the run
ut.r080-tall-162048871400777.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 CTLCardinality is 3600 seconds is 16384 MBytes r080-tall-162048871400777 ====================================== to be used: 11K May 5 16:58 CTLCardinality.txt 108K May 10 09:43 CTLCardinality.xml 10K May 5 16:58 CTLFireability.txt 90K May 10 09:43 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.2K Mar 28 16:08 LTLCardinality.txt 25K Mar 28 16:08 LTLCardinality.xml 1.8K Mar 28 16:08 LTLFireability.txt 15K Mar 28 16:08 LTLFireability.xml 3.3K Mar 23 10:44 ReachabilityCardinality.txt 17K Mar 23 10:44 ReachabilityCardinality.xml 2.5K Mar 22 18:47 ReachabilityFireability.txt 15K Mar 22 18:47 ReachabilityFireability.xml 1.5K Mar 22 09:11 UpperBounds.txt 3.6K Mar 22 09:11 UpperBounds.xml 6 May 5 16:51 equiv_col 6 May 5 16:51 instance 6 May 5 16:51 iscolored 17K May 5 16:51 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) rdinality-00 rdinality-01 rdinality-02 rdinality-03 rdinality-04 rdinality-05 rdinality-06 rdinality-07 rdinality-08 rdinality-09 rdinality-10 rdinality-11 rdinality-12 rdinality-13 rdinality-14 rdinality-15 the tool begins it/bin ecution TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLCardinality.xml /formula_rewrite.k:547 /formula_rewrite.k:445 /formula_rewrite.k:547 /formula_rewrite.k:322 /formula_rewrite.k:337 /formula_rewrite.k:314 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:340 /formula_rewrite.k:317 /formula_rewrite.k:325 /formula_rewrite.k:331 /formula_rewrite.k:299 /formula_rewrite.k:322 /formula_rewrite.k:334 /formula_rewrite.k:299 /formula_rewrite.k:299 /formula_rewrite.k:314 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:325 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:388 /formula_rewrite.k:454 /formula_rewrite.k:322 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:388 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:250 /formula_rewrite.k:253 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:472 /formula_rewrite.k:317 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:550 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:322 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:547 /formula_rewrite.k:547 /formula_rewrite.k:400 /formula_rewrite.k:400 /formula_rewrite.k:325 /formula_rewrite.k:334 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:454 /formula_rewrite.k:325 /formula_rewrite.k:328 /formula_rewrite.k:325 /formula_rewrite.k:331 /formula_rewrite.k:296 /formula_rewrite.k:322 /formula_rewrite.k:331 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:299 /formula_rewrite.k:322 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:296 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:454 /formula_rewrite.k:547 /formula_rewrite.k:394 /formula_rewrite.k:317 /formula_rewrite.k:296 /formula_rewrite.k:322 /formula_rewrite.k:334 /formula_rewrite.k:296 /formula_rewrite.k:253 /formula_rewrite.k:250 /formula_rewrite.k:544 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:325 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:397 /formula_rewrite.k:322 /formula_rewrite.k:334 /formula_rewrite.k:322 /formula_rewrite.k:328 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:328 /formula_rewrite.k:325 /formula_rewrite.k:337 /formula_rewrite.k:296 /formula_rewrite.k:325 /formula_rewrite.k:334 /formula_rewrite.k:325 /formula_rewrite.k:331 /formula_rewrite.k:299 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. /formula_rewrite.k:738 /formula_rewrite.k:694 /formula_rewrite.k:813 /formula_rewrite.k:806 /formula_rewrite.k:807 /formula_rewrite.k:815 /formula_rewrite.k:811 /formula_rewrite.k:809 /formula_rewrite.k:807 /formula_rewrite.k:814 /formula_rewrite.k:806 19 (type EXCL) for 18 FMS-PT-00200-CTLCardinality-06 # 19 (type EXCL) for FMS-PT-00200-CTLCardinality-06 : true 325 647 0.000000 1 13 (type EXCL) for 12 FMS-PT-00200-CTLCardinality-04 /formula_rewrite.k:815 /formula_rewrite.k:812 /formula_rewrite.k:812 /formula_rewrite.k:812 /formula_rewrite.k:807 /formula_rewrite.k:815 /formula_rewrite.k:807 /formula_rewrite.k:809 /formula_rewrite.k:811 /formula_rewrite.k:814 /formula_rewrite.k:806 /formula_rewrite.k:806 /formula_rewrite.k:807 /formula_rewrite.k:806 /formula_rewrite.k:811 /formula_rewrite.k:806 /formula_rewrite.k:815 /formula_rewrite.k:813 /formula_rewrite.k:812 /formula_rewrite.k:815 /formula_rewrite.k:811 /formula_rewrite.k:806 /formula_rewrite.k:812 in 0.000000 secs. in 0.000000 secs. /formula_rewrite.k:812 in 0.000000 secs. /formula_rewrite.k:806 /formula_rewrite.k:814 /formula_rewrite.k:806 /formula_rewrite.k:806 /formula_rewrite.k:808 /formula_rewrite.k:813 /formula_rewrite.k:807 /formula_rewrite.k:814 /formula_rewrite.k:809 in 0.000000 secs. /formula_rewrite.k:810 /formula_rewrite.k:811 /formula_rewrite.k:808 /formula_rewrite.k:806 /formula_rewrite.k:806 /formula_rewrite.k:808 /formula_rewrite.k:808 /formula_rewrite.k:814 /formula_rewrite.k:814 /formula_rewrite.k:808 /formula_rewrite.k:809 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. /formula_rewrite.k:806 /formula_rewrite.k:811 /formula_rewrite.k:815 /formula_rewrite.k:809 /formula_rewrite.k:806 /formula_rewrite.k:813 /formula_rewrite.k:814 /formula_rewrite.k:812 /formula_rewrite.k:811 /formula_rewrite.k:809 /formula_rewrite.k:806 /formula_rewrite.k:806 /formula_rewrite.k:812 /formula_rewrite.k:811 /formula_rewrite.k:703 /formula_rewrite.k:806 /formula_rewrite.k:811 /formula_rewrite.k:815 /formula_rewrite.k:811 /formula_rewrite.k:813 in 0.000000 secs. in 0.000000 secs. /formula_rewrite.k:813 /formula_rewrite.k:811 /formula_rewrite.k:812 /formula_rewrite.k:809 /formula_rewrite.k:812 /formula_rewrite.k:809 /formula_rewrite.k:806 /formula_rewrite.k:807 /formula_rewrite.k:806 /formula_rewrite.k:813 /formula_rewrite.k:811 /formula_rewrite.k:813 /formula_rewrite.k:807 /formula_rewrite.k:806 /formula_rewrite.k:809 /formula_rewrite.k:809 /formula_rewrite.k:813 /formula_rewrite.k:711 /formula_rewrite.k:711 /formula_rewrite.k:711 52 (type FNDP) for 24 FMS-PT-00200-CTLCardinality-08 : 32000000 sec 53 (type EQUN) for 24 FMS-PT-00200-CTLCardinality-08 : 32000000 sec 55 (type SRCH) for 24 FMS-PT-00200-CTLCardinality-08 : 32000000 sec /formula_rewrite.k:711 # 52 (type FNDP) for FMS-PT-00200-CTLCardinality-08 : true 205 1 0.000000 0 # 53 (type EQUN) for FMS-PT-00200-CTLCardinality-08 (obsolete) # 55 (type SRCH) for FMS-PT-00200-CTLCardinality-08 (obsolete) # 55 (type SRCH) for FMS-PT-00200-CTLCardinality-08 : unknown 120 345 0.000000 1 file /home/mcc/execution/CTLCardinality-53.sara. # 53 (type EQUN) for FMS-PT-00200-CTLCardinality-08 : true VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 FMS-PT-00200-CTLCardinality-04 574228 m, 114845 m/sec, 788705 t fired, . Pages in use: 3 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 FMS-PT-00200-CTLCardinality-04 1475367 m, 180227 m/sec, 1895246 t fired, . Pages in use: 7 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 FMS-PT-00200-CTLCardinality-04 2191472 m, 143221 m/sec, 2774419 t fired, . Pages in use: 10 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 FMS-PT-00200-CTLCardinality-04 2815184 m, 124742 m/sec, 3637721 t fired, . Pages in use: 12 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 FMS-PT-00200-CTLCardinality-04 3416947 m, 120352 m/sec, 4453792 t fired, . Pages in use: 15 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 FMS-PT-00200-CTLCardinality-04 4005053 m, 117621 m/sec, 5245944 t fired, . Pages in use: 17 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 FMS-PT-00200-CTLCardinality-04 4599991 m, 118987 m/sec, 6084582 t fired, . Pages in use: 20 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 FMS-PT-00200-CTLCardinality-04 5253850 m, 130771 m/sec, 6974089 t fired, . Pages in use: 22 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 FMS-PT-00200-CTLCardinality-04 5864842 m, 122198 m/sec, 7800634 t fired, . Pages in use: 25 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 FMS-PT-00200-CTLCardinality-04 6453741 m, 117779 m/sec, 8631713 t fired, . Pages in use: 27 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 FMS-PT-00200-CTLCardinality-04 7063924 m, 122036 m/sec, 9484923 t fired, . Pages in use: 30 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 32/32 FMS-PT-00200-CTLCardinality-04 7658113 m, 118837 m/sec, 10292458 t fired, . Pages in use: 32 4 Visible: 16 # 13 (type EXCL) for FMS-PT-00200-CTLCardinality-04 (memory limit exceeded) VALUE PRODUCED BY EU true state space /EU EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 4 Visible: 16 50 (type EXCL) for 49 FMS-PT-00200-CTLCardinality-15 # 50 (type EXCL) for FMS-PT-00200-CTLCardinality-15 : false 3 9 0.000000 1 44 (type EXCL) for 43 FMS-PT-00200-CTLCardinality-13 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 FMS-PT-00200-CTLCardinality-13 1024482 m, 204896 m/sec, 1102365 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 FMS-PT-00200-CTLCardinality-13 2047654 m, 204634 m/sec, 2368914 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 FMS-PT-00200-CTLCardinality-13 3030219 m, 196513 m/sec, 3454147 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 FMS-PT-00200-CTLCardinality-13 3885983 m, 171152 m/sec, 4470780 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 FMS-PT-00200-CTLCardinality-13 4715969 m, 165997 m/sec, 5334099 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 FMS-PT-00200-CTLCardinality-13 5491397 m, 155085 m/sec, 6140712 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 FMS-PT-00200-CTLCardinality-13 6267195 m, 155159 m/sec, 6947787 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 FMS-PT-00200-CTLCardinality-13 7073108 m, 161182 m/sec, 7785865 t fired, . Pages in use: 32 4 Visible: 16 # 44 (type EXCL) for FMS-PT-00200-CTLCardinality-13 (memory limit exceeded) VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 4 Visible: 16 39 (type EXCL) for 36 FMS-PT-00200-CTLCardinality-12 # 39 (type EXCL) for FMS-PT-00200-CTLCardinality-12 : true 0.000000 1 31 (type EXCL) for 30 FMS-PT-00200-CTLCardinality-10 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 FMS-PT-00200-CTLCardinality-10 572548 m, 114509 m/sec, 1018146 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 FMS-PT-00200-CTLCardinality-10 1092904 m, 104071 m/sec, 2078573 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 FMS-PT-00200-CTLCardinality-10 1551959 m, 91811 m/sec, 3026896 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 FMS-PT-00200-CTLCardinality-10 2011496 m, 91907 m/sec, 3969526 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 FMS-PT-00200-CTLCardinality-10 2450694 m, 87839 m/sec, 4881167 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 FMS-PT-00200-CTLCardinality-10 2884617 m, 86784 m/sec, 5775390 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 FMS-PT-00200-CTLCardinality-10 3287948 m, 80666 m/sec, 6633757 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 FMS-PT-00200-CTLCardinality-10 3700641 m, 82538 m/sec, 7503308 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 FMS-PT-00200-CTLCardinality-10 4149292 m, 89730 m/sec, 8431238 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 FMS-PT-00200-CTLCardinality-10 4566325 m, 83406 m/sec, 9319518 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 FMS-PT-00200-CTLCardinality-10 4979902 m, 82715 m/sec, 10176426 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 FMS-PT-00200-CTLCardinality-10 5387865 m, 81592 m/sec, 11052557 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 FMS-PT-00200-CTLCardinality-10 5799976 m, 82422 m/sec, 11901760 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 FMS-PT-00200-CTLCardinality-10 6197637 m, 79532 m/sec, 12712309 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 FMS-PT-00200-CTLCardinality-10 6582430 m, 76958 m/sec, 13525555 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 FMS-PT-00200-CTLCardinality-10 6986139 m, 80741 m/sec, 14386972 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 31/32 FMS-PT-00200-CTLCardinality-10 7384299 m, 79632 m/sec, 15223394 t fired, . Pages in use: 32 4 Visible: 16 # 31 (type EXCL) for FMS-PT-00200-CTLCardinality-10 (memory limit exceeded) VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 4 Visible: 16 28 (type EXCL) for 27 FMS-PT-00200-CTLCardinality-09 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 FMS-PT-00200-CTLCardinality-09 616136 m, 123227 m/sec, 1571646 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 FMS-PT-00200-CTLCardinality-09 1148577 m, 106488 m/sec, 2930893 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 FMS-PT-00200-CTLCardinality-09 1804187 m, 131122 m/sec, 4066890 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 FMS-PT-00200-CTLCardinality-09 2428214 m, 124805 m/sec, 5148485 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 FMS-PT-00200-CTLCardinality-09 3013953 m, 117147 m/sec, 6161896 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 FMS-PT-00200-CTLCardinality-09 3617652 m, 120739 m/sec, 7209066 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 FMS-PT-00200-CTLCardinality-09 4191700 m, 114809 m/sec, 8201488 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 FMS-PT-00200-CTLCardinality-09 4803182 m, 122296 m/sec, 9259189 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 FMS-PT-00200-CTLCardinality-09 5369499 m, 113263 m/sec, 10238590 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 FMS-PT-00200-CTLCardinality-09 5951554 m, 116411 m/sec, 11246591 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 28/32 FMS-PT-00200-CTLCardinality-09 6510615 m, 111812 m/sec, 12216610 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 FMS-PT-00200-CTLCardinality-09 7080861 m, 114049 m/sec, 13204155 t fired, . Pages in use: 32 4 Visible: 16 # 28 (type EXCL) for FMS-PT-00200-CTLCardinality-09 (memory limit exceeded) VALUE PRODUCED BY EU true state space /EU EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 4 Visible: 16 22 (type EXCL) for 21 FMS-PT-00200-CTLCardinality-07 # 22 (type EXCL) for FMS-PT-00200-CTLCardinality-07 : false 136701 219579 1.000000 1 7 (type EXCL) for 6 FMS-PT-00200-CTLCardinality-02 # 7 (type EXCL) for FMS-PT-00200-CTLCardinality-02 : false 1235 1253 0.000000 1 1 (type EXCL) for 0 FMS-PT-00200-CTLCardinality-00 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 FMS-PT-00200-CTLCardinality-00 374543 m, 74908 m/sec, 1432797 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 3/32 FMS-PT-00200-CTLCardinality-00 701716 m, 65434 m/sec, 3336935 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 FMS-PT-00200-CTLCardinality-00 1062914 m, 72239 m/sec, 5045685 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 FMS-PT-00200-CTLCardinality-00 1348163 m, 57049 m/sec, 6797527 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 FMS-PT-00200-CTLCardinality-00 1596378 m, 49643 m/sec, 8469763 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 8/32 FMS-PT-00200-CTLCardinality-00 1839247 m, 48573 m/sec, 10063405 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 FMS-PT-00200-CTLCardinality-00 2094157 m, 50982 m/sec, 11594091 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 FMS-PT-00200-CTLCardinality-00 2348307 m, 50830 m/sec, 13053275 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 FMS-PT-00200-CTLCardinality-00 2624421 m, 55222 m/sec, 14587650 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 FMS-PT-00200-CTLCardinality-00 2876465 m, 50408 m/sec, 15971373 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 FMS-PT-00200-CTLCardinality-00 3143861 m, 53479 m/sec, 17394287 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 FMS-PT-00200-CTLCardinality-00 3403538 m, 51935 m/sec, 18777816 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 FMS-PT-00200-CTLCardinality-00 3674175 m, 54127 m/sec, 20199420 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 FMS-PT-00200-CTLCardinality-00 3943399 m, 53844 m/sec, 21614061 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 18/32 FMS-PT-00200-CTLCardinality-00 4219685 m, 55257 m/sec, 23036070 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 20/32 FMS-PT-00200-CTLCardinality-00 4500597 m, 56182 m/sec, 24495714 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 21/32 FMS-PT-00200-CTLCardinality-00 4774893 m, 54859 m/sec, 25902143 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 22/32 FMS-PT-00200-CTLCardinality-00 5041686 m, 53358 m/sec, 27256720 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 23/32 FMS-PT-00200-CTLCardinality-00 5316379 m, 54938 m/sec, 28649192 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 24/32 FMS-PT-00200-CTLCardinality-00 5583959 m, 53516 m/sec, 30027427 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 25/32 FMS-PT-00200-CTLCardinality-00 5849086 m, 53025 m/sec, 31373562 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 26/32 FMS-PT-00200-CTLCardinality-00 6108518 m, 51886 m/sec, 32662849 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 27/32 FMS-PT-00200-CTLCardinality-00 6383195 m, 54935 m/sec, 34036921 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 29/32 FMS-PT-00200-CTLCardinality-00 6662027 m, 55766 m/sec, 35422428 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 30/32 FMS-PT-00200-CTLCardinality-00 6940377 m, 55670 m/sec, 36796251 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 31/32 FMS-PT-00200-CTLCardinality-00 7202146 m, 52353 m/sec, 38117560 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 32/32 FMS-PT-00200-CTLCardinality-00 7478114 m, 55193 m/sec, 39498052 t fired, . Pages in use: 32 4 Visible: 16 # 1 (type EXCL) for FMS-PT-00200-CTLCardinality-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EGEF 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 4 Visible: 16 34 (type EXCL) for 33 FMS-PT-00200-CTLCardinality-11 # 34 (type EXCL) for FMS-PT-00200-CTLCardinality-11 : true 394 790 0.000000 1 16 (type EXCL) for 15 FMS-PT-00200-CTLCardinality-05 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 2/32 FMS-PT-00200-CTLCardinality-05 520713 m, 104142 m/sec, 1643990 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 4/32 FMS-PT-00200-CTLCardinality-05 891629 m, 74183 m/sec, 2883826 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 5/32 FMS-PT-00200-CTLCardinality-05 1220574 m, 65789 m/sec, 4063090 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 6/32 FMS-PT-00200-CTLCardinality-05 1531372 m, 62159 m/sec, 5208775 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 7/32 FMS-PT-00200-CTLCardinality-05 1838254 m, 61376 m/sec, 6356688 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 9/32 FMS-PT-00200-CTLCardinality-05 2125014 m, 57352 m/sec, 7456435 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 10/32 FMS-PT-00200-CTLCardinality-05 2421076 m, 59212 m/sec, 8593376 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 11/32 FMS-PT-00200-CTLCardinality-05 2695239 m, 54832 m/sec, 9654481 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 12/32 FMS-PT-00200-CTLCardinality-05 2963041 m, 53560 m/sec, 10704575 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 13/32 FMS-PT-00200-CTLCardinality-05 3242655 m, 55922 m/sec, 11796337 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 14/32 FMS-PT-00200-CTLCardinality-05 3500139 m, 51496 m/sec, 12811669 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 15/32 FMS-PT-00200-CTLCardinality-05 3752061 m, 50384 m/sec, 13819425 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 16/32 FMS-PT-00200-CTLCardinality-05 3999785 m, 49544 m/sec, 14810124 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 FMS-PT-00200-CTLCardinality-05 4241861 m, 48415 m/sec, 15787906 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 17/32 FMS-PT-00200-CTLCardinality-05 4476202 m, 46868 m/sec, 16740558 t fired, . Pages in use: 32 4 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker EU true state space /EU CTL false CTL model checker EF true findpath EGEF true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 1MB has been truncated ====== archives if needed

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FMS-PT-00200"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;