MCC'2021- Execution of r061-tall-162038393500633

About the Execution of LoLA for DNAwalker-PT-14ringLRLarge

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
13656.067	3600000.00	11846712.00	6164.10	?FF?F??T???FFTT?	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r061-tall-1
Waiting for the VM to be ready (probing ssh)
.............................................
.......................
.............................................
.............................................
.............................................
.............................................
.............................................
=============================================
Generated by BenchKit 2-4028
Executing tool lola
Input is DNAwalker-PT-14ringLRLarge,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r061-tall-1620383935006
=============================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 11K May 5 16:58
-rw-r--r-- 1 mcc users 113K May 10 09:42
-rw-r--r-- 1 mcc users 11K May 5 16:58
-rw-r--r-- 1 mcc users 85K May 10 09:42
-rw-r--r-- 1 mcc users 4.2K May 6 14:48
-rw-r--r-- 1 mcc users 6.0K May 6 14:48
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:00
-rw-r--r-- 1 mcc users 24K Mar 28 16:00
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:00
-rw-r--r-- 1 mcc users 16K Mar 28 16:00
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:02
-rw-r--r-- 1 mcc users 22K Mar 23 10:02
-rw-r--r-- 1 mcc users 3.0K Mar 22 17:36
-rw-r--r-- 1 mcc users 17K Mar 22 17:36
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:10
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10
-rw-r--r-- 1 mcc users 6 May 5 16:51
-rw-r--r-- 1 mcc users 14 May 5 16:51
-rw-r--r-- 1 mcc users 6 May 5 16:51
-rw-r--r-- 1 mcc users 135K May 5 16:51

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

=== Data for post analysis generated

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa
FORMULA_NAME DNAwalker-PT-14ringLRLarge-CTLCa

=== Now, execution of the tool begins

BK_START 1620825823190

starting LoLA
BK_INPUT DNAwalker-PT-14ringLRLarge
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-14

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-13

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-12

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-04

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-02

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-01

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-07

FORMULA DNAwalker-PT-14ringLRLarge-CTLCardinality-11

BK_TIME_CONFINEMENT_REACHED

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execution/m
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execut
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: LAUNCH task # 82 (type EXCL)
lola: time limit : 87 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 85 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 87 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 89 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 89 (type SRCH)
lola: result : true
lola: time used : 0.000000
lola: memory pages used : 1
lola: CANCELED task # 85 (type FNDP)
lola: CANCELED task # 87 (type EQUN)
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: LAUNCH task # 86 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 90 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: LAUNCH task # 92 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
sara: try reading problem file /home/mcc/exec
lola: FINISHED task # 85 (type FNDP)
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: FINISHED task # 92 (type SRCH)
lola: result : unknown
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
lola: rewrite Frontend/Parser/formula_rewri
sara: try reading problem file /home/mcc/exec
lola: planning for (null) stopped
sara: place or transition ordering is
sara: place or transition ordering is

lola: FINISHED task # 87 (type EQUN)
lola: result : true
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 4/163
86 EF FNDP 3/3598 0/5
90 EF STEQ 3/3598 0/5

Time elapsed: 5 secs. Pages in use: 2
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 9/163
86 EF FNDP 8/3598 0/5
90 EF STEQ 8/3598 0/5

Time elapsed: 10 secs. Pages in use: 2
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 14/163
86 EF FNDP 13/3598 0/5
90 EF STEQ 13/3598 0/5

Time elapsed: 15 secs. Pages in use: 3
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 19/163
86 EF FNDP 18/3598 0/5
90 EF STEQ 18/3598 0/5

Time elapsed: 20 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 25/163
86 EF FNDP 24/3598 0/5
90 EF STEQ 24/3598 0/5

Time elapsed: 26 secs. Pages in use: 4
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 30/163
86 EF FNDP 29/3598 0/5
90 EF STEQ 29/3598 0/5

Time elapsed: 31 secs. Pages in use: 5
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 35/163
86 EF FNDP 34/3598 0/5
90 EF STEQ 34/3598 0/5

Time elapsed: 36 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 40/163
86 EF FNDP 39/3598 0/5
90 EF STEQ 39/3598 0/5

Time elapsed: 41 secs. Pages in use: 6
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 45/163
86 EF FNDP 44/3598 0/5
90 EF STEQ 44/3598 0/5

Time elapsed: 46 secs. Pages in use: 7
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 50/163
86 EF FNDP 49/3598 0/5
90 EF STEQ 49/3598 0/5

Time elapsed: 51 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 55/163
86 EF FNDP 54/3598 0/5
90 EF STEQ 54/3598 0/5

Time elapsed: 56 secs. Pages in use: 8
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 60/163
86 EF FNDP 59/3598 0/5
90 EF STEQ 59/3598 0/5

Time elapsed: 61 secs. Pages in use: 9
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 65/163 10/32
86 EF FNDP 64/3598 0/5
90 EF STEQ 64/3598 0/5

Time elapsed: 66 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 70/163 10/32
86 EF FNDP 69/3598 0/5
90 EF STEQ 69/3598 0/5

Time elapsed: 71 secs. Pages in use: 10
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 75/163 11/32
86 EF FNDP 74/3598 0/5
90 EF STEQ 74/3598 0/5

Time elapsed: 76 secs. Pages in use: 11
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 80/163 12/32
86 EF FNDP 79/3598 0/5
90 EF STEQ 79/3598 0/5

Time elapsed: 81 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 85/163 12/32
86 EF FNDP 84/3598 0/5
90 EF STEQ 84/3598 0/5

Time elapsed: 86 secs. Pages in use: 12
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 90/163 13/32
86 EF FNDP 89/3598 0/5
90 EF STEQ 89/3598 0/5

Time elapsed: 91 secs. Pages in use: 13
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 95/163 14/32
86 EF FNDP 94/3598 0/5
90 EF STEQ 94/3598 0/5

Time elapsed: 96 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 100/163 14/32
86 EF FNDP 99/3598 0/5
90 EF STEQ 99/3598 0/5

Time elapsed: 101 secs. Pages in use: 14
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 105/163 15/32
86 EF FNDP 104/3598 0/5
90 EF STEQ 104/3598 0/5

Time elapsed: 106 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 110/163 15/32
86 EF FNDP 109/3598 0/5
90 EF STEQ 109/3598 0/5

Time elapsed: 111 secs. Pages in use: 15
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 115/163 16/32
86 EF FNDP 114/3598 0/5
90 EF STEQ 114/3598 0/5

Time elapsed: 116 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 120/163 16/32
86 EF FNDP 119/3598 0/5
90 EF STEQ 119/3598 0/5

Time elapsed: 121 secs. Pages in use: 16
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 125/163 17/32
86 EF FNDP 124/3598 0/5
90 EF STEQ 124/3598 0/5

Time elapsed: 126 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 130/163 17/32
86 EF FNDP 129/3598 0/5
90 EF STEQ 129/3598 0/5

Time elapsed: 131 secs. Pages in use: 17
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 135/163 18/32
86 EF FNDP 134/3598 0/5
90 EF STEQ 134/3598 0/5

Time elapsed: 136 secs. Pages in use: 18
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 140/163 19/32
86 EF FNDP 139/3598 0/5
90 EF STEQ 139/3598 0/5

Time elapsed: 141 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 145/163 19/32
86 EF FNDP 144/3598 0/5
90 EF STEQ 144/3598 0/5

Time elapsed: 146 secs. Pages in use: 19
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 150/163 20/32
86 EF FNDP 149/3598 0/5
90 EF STEQ 149/3598 0/5

Time elapsed: 151 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 155/163 20/32
86 EF FNDP 154/3598 0/5
90 EF STEQ 154/3598 0/5

Time elapsed: 156 secs. Pages in use: 20
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
82 CTL EXCL 160/163 21/32
86 EF FNDP 159/3598 0/5
90 EF STEQ 159/3598 0/5

Time elapsed: 161 secs. Pages in use: 21
# running tasks: 3 of 4 Visible: 16
lola: CANCELED task # 82 (type EXCL)
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
86 EF FNDP 164/3598 0/5
90 EF STEQ 164/3598 0/5

Time elapsed: 166 secs. Pages in use: 22
# running tasks: 3 of 4 Visible: 16
lola: LAUNCH task # 80 (type EXCL)
lola: time limit : 163 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 82 (type EXCL)
lola: time limit : 3434 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 5/163
82 CTL EXCL 5/3434 1/5
86 EF FNDP 169/3598 0/5
90 EF STEQ 169/3598 0/5

Time elapsed: 171 secs. Pages in use: 25
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 10/163
82 CTL EXCL 10/156 2/5
86 EF FNDP 174/3598 0/5
90 EF STEQ 174/3598 0/5

Time elapsed: 176 secs. Pages in use: 27
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 15/163
82 CTL EXCL 15/156 2/5
86 EF FNDP 179/3598 0/5
90 EF STEQ 179/3598 0/5

Time elapsed: 181 secs. Pages in use: 29
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 20/163
82 CTL EXCL 20/156 3/5
86 EF FNDP 184/3598 0/5
90 EF STEQ 184/3598 0/5

Time elapsed: 186 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 25/163
82 CTL EXCL 25/156 3/5
86 EF FNDP 189/3598 0/5
90 EF STEQ 189/3598 0/5

Time elapsed: 191 secs. Pages in use: 31
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 30/163
82 CTL EXCL 30/156 4/5
86 EF FNDP 194/3598 0/5
90 EF STEQ 194/3598 0/5

Time elapsed: 196 secs. Pages in use: 34
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 35/163
82 CTL EXCL 35/156 5/5
86 EF FNDP 199/3598 0/5
90 EF STEQ 199/3598 0/5

Time elapsed: 201 secs. Pages in use: 35
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 40/163
82 CTL EXCL 40/156 5/5
86 EF FNDP 204/3598 0/5
90 EF STEQ 204/3598 0/5

Time elapsed: 206 secs. Pages in use: 36
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 82 (type EXCL)
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 45/163
86 EF FNDP 209/3598 0/5
90 EF STEQ 209/3598 0/5

Time elapsed: 211 secs. Pages in use: 38
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 50/163
86 EF FNDP 214/3598 0/5
90 EF STEQ 214/3598 0/5

Time elapsed: 216 secs. Pages in use: 38
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 55/163
86 EF FNDP 219/3598 0/5
90 EF STEQ 219/3598 0/5

Time elapsed: 221 secs. Pages in use: 38
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 60/163
86 EF FNDP 224/3598 0/5
90 EF STEQ 224/3598 0/5

Time elapsed: 226 secs. Pages in use: 38
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 65/163
86 EF FNDP 229/3598 0/5
90 EF STEQ 229/3598 0/5

Time elapsed: 231 secs. Pages in use: 38
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 70/163 10/32
86 EF FNDP 234/3598 0/5
90 EF STEQ 234/3598 0/5

Time elapsed: 236 secs. Pages in use: 38
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 75/163 11/32
86 EF FNDP 239/3598 0/5
90 EF STEQ 239/3598 0/5

Time elapsed: 241 secs. Pages in use: 39
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 80/163 12/32
86 EF FNDP 244/3598 0/5
90 EF STEQ 244/3598 0/5

Time elapsed: 246 secs. Pages in use: 41
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 85/163 12/32
86 EF FNDP 249/3598 0/5
90 EF STEQ 249/3598 0/5

Time elapsed: 251 secs. Pages in use: 42
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 90/163 13/32
86 EF FNDP 254/3598 0/5
90 EF STEQ 254/3598 0/5

Time elapsed: 256 secs. Pages in use: 43
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 95/163 14/32
86 EF FNDP 259/3598 0/5
90 EF STEQ 259/3598 0/5

Time elapsed: 261 secs. Pages in use: 45
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 100/163 15/32
86 EF FNDP 264/3598 0/5
90 EF STEQ 264/3598 0/5

Time elapsed: 266 secs. Pages in use: 46
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:
DNAwalker-PT-14ringLRLarge-CTLCardinality-09:
DNAwalker-PT-14ringLRLarge-CTLCardinality-10:
DNAwalker-PT-14ringLRLarge-CTLCardinality-11:
DNAwalker-PT-14ringLRLarge-CTLCardinality-12:
DNAwalker-PT-14ringLRLarge-CTLCardinality-13:
DNAwalker-PT-14ringLRLarge-CTLCardinality-14:
DNAwalker-PT-14ringLRLarge-CTLCardinality-15:

TASK CATEGORY TYPE TIME/TLIMIT
80 CTL EXCL 105/163 15/32
86 EF FNDP 269/3598 0/5
90 EF STEQ 269/3598 0/5

Time elapsed: 271 secs. Pages in use: 47
# running tasks: 3 of 4 Visible: 16
FINISHED FORMULA: CATEGORY

PENDING FORMULAS: CATEGORY
DNAwalker-PT-14ringLRLarge-CTLCardinality-00:
DNAwalker-PT-14ringLRLarge-CTLCardinality-01:
DNAwalker-PT-14ringLRLarge-CTLCardinality-02:
DNAwalker-PT-14ringLRLarge-CTLCardinality-03:
DNAwalker-PT-14ringLRLarge-CTLCardinality-04:
DNAwalker-PT-14ringLRLarge-CTLCardinality-05:
DNAwalker-PT-14ringLRLarge-CTLCardinality-06:
DNAwalker-PT-14ringLRLarge-CTLCardinality-07:
DNAwalker-PT-14ringLRLarge-CTLCardinality-08:

========== file over 1MB has been truncated
retrieve it from the run archives if needed
62038393500633.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ ======================== examination is CTLCardinality 33 ======================== CTLCardinality.txt CTLCardinality.xml CTLFireability.txt CTLFireability.xml GenericPropertiesDefinition.xml GenericPropertiesVerdict.xml LTLCardinality.txt LTLCardinality.xml LTLFireability.txt LTLFireability.xml ReachabilityCardinality.txt ReachabilityCardinality.xml ReachabilityFireability.txt ReachabilityFireability.xml UpperBounds.txt UpperBounds.xml equiv_col instance iscolored model.pnml by BenchKit (invocation template) 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 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 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 model.pnml net odel.pnml ion/CTLCardinality.xml te.k:325 te.k:337 te.k:322 te.k:331 te.k:296 te.k:296 te.k:322 te.k:340 te.k:325 te.k:328 te.k:299 te.k:299 te.k:250 te.k:439 te.k:250 te.k:250 te.k:394 te.k:325 te.k:337 te.k:296 te.k:325 te.k:334 te.k:325 te.k:331 te.k:296 te.k:314 te.k:325 te.k:337 te.k:296 te.k:296 te.k:296 te.k:322 te.k:334 te.k:296 te.k:317 te.k:325 te.k:334 te.k:299 te.k:325 te.k:328 te.k:322 te.k:334 te.k:296 te.k:469 te.k:454 te.k:314 te.k:296 te.k:322 te.k:334 te.k:325 te.k:337 te.k:296 te.k:296 te.k:325 te.k:334 te.k:296 te.k:322 te.k:334 te.k:299 te.k:553 te.k:250 te.k:544 te.k:457 te.k:314 te.k:317 te.k:296 te.k:322 te.k:328 te.k:296 te.k:296 te.k:317 te.k:314 te.k:299 te.k:325 te.k:331 te.k:299 te.k:299 te.k:317 te.k:296 te.k:314 te.k:296 te.k:325 te.k:328 te.k:296 te.k:250 te.k:322 te.k:328 te.k:325 te.k:331 te.k:296 te.k:472 te.k:250 te.k:544 te.k:544 te.k:98 te.k:168 te.k:322 te.k:331 te.k:296 te.k:388 te.k:253 te.k:253 te.k:322 te.k:331 te.k:322 te.k:328 te.k:296 te.k:253 te.k:253 te.k:253 te.k:553 te.k:553 te.k:553 te.k:553 te.k:96 te.k:117 te.k:281 te.k:165 te.k:150 te.k:122 te.k:451 te.k:115 te.k:391 te.k:475 te.k:322 te.k:328 te.k:296 te.k:322 te.k:337 te.k:296 te.k:296 te.k:253 te.k:553 te.k:553 te.k:314 te.k:317 te.k:296 te.k:314 te.k:325 te.k:331 te.k:299 te.k:317 te.k:325 te.k:337 te.k:296 te.k:296 te.k:296 te.k:317 te.k:325 te.k:334 te.k:296 te.k:317 te.k:325 te.k:334 te.k:322 te.k:334 te.k:296 te.k:325 te.k:334 te.k:325 te.k:340 te.k:299 te.k:299 te.k:553 te.k:553 te.k:553 te.k:553 te.k:547 te.k:394 te.k:394 te.k:394 te.k:394 places removed te.k:807 te.k:806 te.k:807 te.k:807 te.k:813 te.k:809 te.k:809 te.k:813 te.k:807 te.k:813 te.k:813 te.k:815 te.k:812 te.k:807 te.k:812 te.k:814 te.k:812 te.k:814 te.k:812 te.k:813 for 77 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 te.k:815 te.k:807 te.k:811 te.k:813 te.k:812 te.k:815 te.k:813 te.k:811 te.k:807 te.k:814 te.k:809 te.k:807 te.k:806 te.k:808 te.k:809 te.k:814 te.k:807 te.k:811 te.k:809 te.k:811 te.k:813 te.k:806 te.k:807 te.k:808 te.k:715 te.k:806 te.k:808 te.k:807 te.k:813 te.k:806 te.k:808 te.k:812 te.k:807 te.k:814 te.k:807 te.k:808 te.k:807 te.k:806 te.k:807 te.k:813 te.k:813 te.k:809 te.k:813 te.k:812 te.k:807 te.k:811 te.k:811 te.k:715 te.k:806 te.k:806 te.k:807 te.k:807 te.k:730 te.k:813 te.k:807 te.k:811 te.k:806 te.k:811 te.k:721 te.k:787 te.k:721 te.k:787 te.k:721 te.k:787 for 30 DNAwalker-PT-14ringLRLarge-CTLCardinality-10 for 30 DNAwalker-PT-14ringLRLarge-CTLCardinality-10 for 30 DNAwalker-PT-14ringLRLarge-CTLCardinality-10 for DNAwalker-PT-14ringLRLarge-CTLCardinality-10 for DNAwalker-PT-14ringLRLarge-CTLCardinality-10 (obsolete) for DNAwalker-PT-14ringLRLarge-CTLCardinality-10 (obsolete) te.k:711 te.k:711 te.k:711 te.k:721 te.k:787 for 9 DNAwalker-PT-14ringLRLarge-CTLCardinality-03 for 9 DNAwalker-PT-14ringLRLarge-CTLCardinality-03 te.k:711 for 9 DNAwalker-PT-14ringLRLarge-CTLCardinality-03 te.k:806 te.k:807 te.k:807 ution/CTLCardinality-90.sara. for DNAwalker-PT-14ringLRLarge-CTLCardinality-10 for DNAwalker-PT-14ringLRLarge-CTLCardinality-03 te.k:806 te.k:807 te.k:807 te.k:807 te.k:807 te.k:812 te.k:808 ution/CTLCardinality-87.sara. (result already fixed). non-deterministic non-deterministic for DNAwalker-PT-14ringLRLarge-CTLCardinality-10 VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 157719 m, 31543 m/sec, 549787 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 63175 t fired, 8979 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 345729 m, 37602 m/sec, 1278497 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 154492 t fired, 20532 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 518765 m, 34607 m/sec, 1914375 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 236880 t fired, 30496 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 715697 m, 39386 m/sec, 2511991 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 324108 t fired, 40787 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 889729 m, 34806 m/sec, 3100360 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 414497 t fired, 51268 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1059515 m, 33957 m/sec, 3793627 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 503738 t fired, 61394 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1224503 m, 32997 m/sec, 4488254 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 589944 t fired, 71001 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1395740 m, 34247 m/sec, 5117182 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 680581 t fired, 81022 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1575638 m, 35979 m/sec, 5754272 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 774293 t fired, 91216 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1750246 m, 34921 m/sec, 6419304 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 868856 t fired, 101430 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1916868 m, 33324 m/sec, 7052857 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 958093 t fired, 110973 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2080710 m, 32768 m/sec, 7638812 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1046902 t fired, 120418 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2249636 m, 33785 m/sec, 8223929 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1139034 t fired, 130182 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2422820 m, 34636 m/sec, 8816769 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1232693 t fired, 139961 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2596826 m, 34801 m/sec, 9429477 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1329077 t fired, 150033 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2758859 m, 32406 m/sec, 9994885 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1420522 t fired, 159507 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2941452 m, 36518 m/sec, 10640730 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1518948 t fired, 169585 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3095861 m, 30881 m/sec, 11403979 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1609394 t fired, 178838 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3249065 m, 30640 m/sec, 12220106 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1700666 t fired, 188158 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3389891 m, 28165 m/sec, 12940328 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1794027 t fired, 197589 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3528068 m, 27635 m/sec, 13748762 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1882939 t fired, 206563 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3666957 m, 27777 m/sec, 14488206 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 1970735 t fired, 215334 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3801096 m, 26827 m/sec, 15229180 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2056254 t fired, 223864 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3929020 m, 25584 m/sec, 15925172 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2143395 t fired, 232545 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4053037 m, 24803 m/sec, 16579905 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2228354 t fired, 240985 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4181435 m, 25679 m/sec, 17264869 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2320598 t fired, 250104 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4298348 m, 23382 m/sec, 17891819 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2403427 t fired, 258284 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4447493 m, 29829 m/sec, 18677361 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2492584 t fired, 267024 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4610804 m, 32662 m/sec, 19535341 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2582690 t fired, 275859 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4750394 m, 27918 m/sec, 20247783 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2672068 t fired, 284535 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 4894013 m, 28723 m/sec, 21062583 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2762922 t fired, 293364 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 5042120 m, 29621 m/sec, 21851392 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2855889 t fired, 302355 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. for DNAwalker-PT-14ringLRLarge-CTLCardinality-15 (local timeout) VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 1 0 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-03 2946740 t fired, 311108 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. for 77 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 for 77 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 202550 m, 40510 m/sec, 714919 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 157046 m, -977014 m/sec, 547456 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3024107 t fired, 318525 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 382393 m, 35968 m/sec, 1389352 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 286722 m, 25935 m/sec, 1041761 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3090904 t fired, 324872 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 528889 m, 29299 m/sec, 1946589 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 426190 m, 27893 m/sec, 1561660 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3160602 t fired, 331524 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 722602 m, 38742 m/sec, 2531699 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 554273 m, 25616 m/sec, 2009862 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3224592 t fired, 337584 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 870703 m, 29620 m/sec, 3023052 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 696664 m, 28478 m/sec, 2457727 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3281707 t fired, 342989 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1007436 m, 27346 m/sec, 3587953 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 835249 m, 27717 m/sec, 2866440 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3349417 t fired, 349404 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1154304 m, 29373 m/sec, 4194951 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 963410 m, 25632 m/sec, 3402859 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3415885 t fired, 355704 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 2 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1297867 m, 28712 m/sec, 4738524 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1074860 m, 22290 m/sec, 3860830 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3489304 t fired, 362601 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. for DNAwalker-PT-14ringLRLarge-CTLCardinality-15 (memory limit exceeded) VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1455755 m, 31577 m/sec, 5296664 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3554708 t fired, 368800 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1634753 m, 35799 m/sec, 5975006 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3633213 t fired, 376153 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 1823398 m, 37729 m/sec, 6691027 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3717386 t fired, 384054 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2000167 m, 35353 m/sec, 7365675 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3797709 t fired, 391550 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2193512 m, 38669 m/sec, 8025595 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3881588 t fired, 399379 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2374088 m, 36115 m/sec, 8647224 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 3964763 t fired, 407147 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2554551 m, 36092 m/sec, 9284852 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4047084 t fired, 414793 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2749535 m, 38996 m/sec, 9961820 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4136544 t fired, 423113 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 2946198 m, 39332 m/sec, 10662005 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4228596 t fired, 431637 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3131583 m, 37077 m/sec, 11607461 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4321777 t fired, 440202 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3318536 m, 37390 m/sec, 12553914 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4416070 t fired, 448800 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3478293 m, 31951 m/sec, 13455610 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4507947 t fired, 457230 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 6 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 2 0 1 0 MEM PG/PGLIMIT FORMULA STATUS DNAwalker-PT-14ringLRLarge-CTLCardinality-15 3632459 m, 30833 m/sec, 14297278 t fired, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 4595839 t fired, 465179 attempts, . DNAwalker-PT-14ringLRLarge-CTLCardinality-03 sara is running. VALUE PRODUCED BY 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 EF 0 1 2 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFEG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 ======

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="DNAwalker-PT-14ringLRLarge"
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 DNAwalker-PT-14ringLRLarge, 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 r061-tall-162038393500633"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge 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 ;