MCC'2023- Execution of r262-smll-167863536700034

About the Execution of LoLA for NQueens-PT-12

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2802.396	496345.00	476246.00	1513.30	?FF?FF?T??F?T???	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-inpu
Waiting for the VM to be
................................
==========
Generated by BenchKit 2-5348
Executing tool lola
Input is NQueens-PT-12,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r262-smll-
================================

--------------------
preparation of the directory
/home/mcc/execution
total 660K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 134K Mar

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi
FORMULA_NAME NQueens-PT-12-CTLFi

=== Now, execution of the

BK_START 1678696434978

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/b
BK_TIME_CONFINEMENT=3600
BK_INPUT=NQueens-PT-12
Not applying reductions.
Model is PT
CTLFireability PT
starting LoLA
BK_INPUT NQueens-PT-12
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKi
current directory: /home/mcc/exe
CTLFireability

FORMULA NQueens-PT-12-CTLFireability-12

FORMULA NQueens-PT-12-CTLFireability-07

FORMULA NQueens-PT-12-CTLFireability-02

FORMULA NQueens-PT-12-CTLFireability-01

FORMULA NQueens-PT-12-CTLFireability-05

FORMULA NQueens-PT-12-CTLFireability-04

FORMULA NQueens-PT-12-CTLFireability-10

BK_STOP 1678696931323

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 12
lola: time limit : 150 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 5/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 10/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 15/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 20/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 25/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 30/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 35/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 40/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT
12 CTL EXCL 45/189

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

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 50 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 58
lola: time limit : 197 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 5/197

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 10/197

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 15/197

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 20/197

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

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 75 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 55
lola: time limit : 207 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 5/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 10/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 15/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 20/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 25/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 30/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 35/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 40/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 45/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 50/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 55/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 60/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 65/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 70/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 75/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 80/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 85/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 90/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 95/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 100/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 105/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 110/207

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

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 190 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 49
lola: time limit : 213 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 40
lola: time limit : 227 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 5/227

Time elapsed: 195 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 10/227

Time elapsed: 200 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 15/227

Time elapsed: 205 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 20/227

Time elapsed: 210 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 215 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 37
lola: time limit : 241 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 5/241

Time elapsed: 220 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 10/241

Time elapsed: 225 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 15/241

Time elapsed: 230 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 20/241

Time elapsed: 235 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 240 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 34
lola: time limit : 258 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 31
lola: time limit : 280 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 5/280

Time elapsed: 245 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 10/280

Time elapsed: 250 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 15/280

Time elapsed: 255 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 20/280

Time elapsed: 260 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 265 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 28
lola: time limit : 303 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 22
lola: time limit : 333 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 14
lola: time limit : 370 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 7
lola: time limit : 416 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 4
lola: time limit : 476 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 46
lola: time limit : 555 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 5/555

Time elapsed: 270 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 10/555

Time elapsed: 275 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 15/555

Time elapsed: 280 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 20/555

Time elapsed: 285 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 25/555

Time elapsed: 290 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 30/555

Time elapsed: 295 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 35/555

Time elapsed: 300 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 40/555

Time elapsed: 305 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 45/555

Time elapsed: 310 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 50/555

Time elapsed: 315 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 55/555

Time elapsed: 320 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 60/555

Time elapsed: 325 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 65/555

Time elapsed: 330 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 70/555

Time elapsed: 335 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 75/555

Time elapsed: 340 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 80/555

Time elapsed: 345 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 85/555

Time elapsed: 350 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 90/555

Time elapsed: 355 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 95/555

Time elapsed: 360 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 100/555

Time elapsed: 365 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 105/555

Time elapsed: 370 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 110/555

Time elapsed: 375 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 115/555

Time elapsed: 380 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 120/555

Time elapsed: 385 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 125/555

Time elapsed: 390 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 130/555

Time elapsed: 395 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 135/555

Time elapsed: 400 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 140/555

Time elapsed: 405 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 145/555

Time elapsed: 410 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 150/555

Time elapsed: 415 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 155/555

Time elapsed: 420 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 160/555

Time elapsed: 425 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 165/555

Time elapsed: 430 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 EG EXCL 170/555

Time elapsed: 435 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 440 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 26
lola: time limit : 632 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1
lola: time limit : 790 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 5/790

Time elapsed: 445 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 10/790

Time elapsed: 450 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 15/790

Time elapsed: 455 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 460 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 52
lola: time limit : 1046 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 5/1046

Time elapsed: 465 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 10/1046

Time elapsed: 470 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 15/1046

Time elapsed: 475 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 20/1046

Time elapsed: 480 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 25/1046

Time elapsed: 485 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
52 CTL EXCL 30/1046

Time elapsed: 490 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-12:

PENDING FORMULAS: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 495 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 17
lola: time limit : 1552 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 43
lola: time limit : 3105 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished:

FINAL RESULTS
FINISHED FORMULA: CATEGORY
NQueens-PT-12-CTLFireability-00:
NQueens-PT-12-CTLFireability-01:
NQueens-PT-12-CTLFireability-02:
NQueens-PT-12-CTLFireability-03:
NQueens-PT-12-CTLFireability-04:
NQueens-PT-12-CTLFireability-05:
NQueens-PT-12-CTLFireability-06:
NQueens-PT-12-CTLFireability-07:
NQueens-PT-12-CTLFireability-08:
NQueens-PT-12-CTLFireability-09:
NQueens-PT-12-CTLFireability-10:
NQueens-PT-12-CTLFireability-11:
NQueens-PT-12-CTLFireability-12:
NQueens-PT-12-CTLFireability-13:
NQueens-PT-12-CTLFireability-14:
NQueens-PT-12-CTLFireability-15:

Time elapsed: 496 secs.
t.r262-smll-167863536700034.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ready (probing ssh) ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =========================================================== examination is CTLFireability 3600 seconds is 16384 MBytes 167863536700034 ===================================== to be used: 6.7K Feb 26 17:10 CTLCardinality.txt 71K Feb 26 17:10 CTLCardinality.xml 6.0K Feb 26 17:09 CTLFireability.txt 49K Feb 26 17:09 CTLFireability.xml 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml 6.5K Jan 29 11:40 GenericPropertiesVerdict.xml 3.5K Feb 25 16:26 LTLCardinality.txt 25K Feb 25 16:26 LTLCardinality.xml 2.4K Feb 25 16:26 LTLFireability.txt 16K Feb 25 16:26 LTLFireability.xml 17K Feb 26 17:11 ReachabilityCardinality.txt 183K Feb 26 17:11 ReachabilityCardinality.xml 11K Feb 26 17:10 ReachabilityFireability.txt 77K Feb 26 17:10 ReachabilityFireability.xml 1.6K Feb 25 16:26 UpperBounds.txt 3.6K Feb 25 16:26 UpperBounds.xml 6 Mar 5 18:22 equiv_col 3 Mar 5 18:22 instance 6 Mar 5 18:22 iscolored 5 18:22 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N in/ t/bin//../lola/bin/ cution 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 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml formula_rewrite.k:250 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:439 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:250 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:296 formula_rewrite.k:388 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:299 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:317 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:299 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. formula_rewrite.k:806 formula_rewrite.k:815 formula_rewrite.k:811 (type EXCL) for 9 NQueens-PT-12-CTLFireability-03 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:809 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:815 formula_rewrite.k:810 formula_rewrite.k:810 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:808 formula_rewrite.k:808 formula_rewrite.k:815 formula_rewrite.k:815 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. formula_rewrite.k:807 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:814 formula_rewrite.k:808 formula_rewrite.k:808 formula_rewrite.k:815 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:809 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:813 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:812 in 0.000000 secs. formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:809 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:810 formula_rewrite.k:810 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:809 formula_rewrite.k:812 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:810 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 NQueens-PT-12-CTLFireability-03 856820 m, 171364 m/sec, 4546538 t fired, . Pages in use: 4 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 NQueens-PT-12-CTLFireability-03 1702025 m, 169041 m/sec, 9666811 t fired, . Pages in use: 8 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-12-CTLFireability-03 2519042 m, 163403 m/sec, 14514631 t fired, . Pages in use: 12 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 NQueens-PT-12-CTLFireability-03 3332396 m, 162670 m/sec, 19328284 t fired, . Pages in use: 15 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-12-CTLFireability-03 4140649 m, 161650 m/sec, 24255891 t fired, . Pages in use: 19 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 NQueens-PT-12-CTLFireability-03 4932924 m, 158455 m/sec, 29203882 t fired, . Pages in use: 22 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-12-CTLFireability-03 5720406 m, 157496 m/sec, 33717563 t fired, . Pages in use: 26 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-12-CTLFireability-03 6420801 m, 140079 m/sec, 38295263 t fired, . Pages in use: 29 Visible: 16 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 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-12-CTLFireability-03 7268462 m, 169532 m/sec, 43121417 t fired, . Pages in use: 32 Visible: 16 12 (type EXCL) for NQueens-PT-12-CTLFireability-03 (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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 57 NQueens-PT-12-CTLFireability-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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 NQueens-PT-12-CTLFireability-15 1776370 m, 355274 m/sec, 3065227 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 NQueens-PT-12-CTLFireability-15 3503424 m, 345410 m/sec, 6079454 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-12-CTLFireability-15 5336861 m, 366687 m/sec, 9278839 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-12-CTLFireability-15 7053416 m, 343311 m/sec, 12361989 t fired, . Pages in use: 32 Visible: 16 58 (type EXCL) for NQueens-PT-12-CTLFireability-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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 54 NQueens-PT-12-CTLFireability-14 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 NQueens-PT-12-CTLFireability-14 378110 m, 75622 m/sec, 3037398 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-12-CTLFireability-14 665213 m, 57420 m/sec, 6491500 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 NQueens-PT-12-CTLFireability-14 1019199 m, 70797 m/sec, 9937829 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-12-CTLFireability-14 1298922 m, 55944 m/sec, 13005861 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-12-CTLFireability-14 1551988 m, 50613 m/sec, 16269297 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-12-CTLFireability-14 1881511 m, 65904 m/sec, 19337026 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 NQueens-PT-12-CTLFireability-14 2168602 m, 57418 m/sec, 22632924 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-12-CTLFireability-14 2499992 m, 66278 m/sec, 25771758 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 NQueens-PT-12-CTLFireability-14 2761178 m, 52237 m/sec, 28845570 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 NQueens-PT-12-CTLFireability-14 3586028 m, 164970 m/sec, 31981836 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-12-CTLFireability-14 4235598 m, 129914 m/sec, 35224078 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 NQueens-PT-12-CTLFireability-14 4386131 m, 30106 m/sec, 38415813 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 NQueens-PT-12-CTLFireability-14 4531270 m, 29027 m/sec, 41676887 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-12-CTLFireability-14 4693191 m, 32384 m/sec, 44790050 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 NQueens-PT-12-CTLFireability-14 4887193 m, 38800 m/sec, 47828075 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-12-CTLFireability-14 5514559 m, 125473 m/sec, 51058709 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-12-CTLFireability-14 5849541 m, 66996 m/sec, 53776632 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-12-CTLFireability-14 6091377 m, 48367 m/sec, 56710928 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-12-CTLFireability-14 6366904 m, 55105 m/sec, 60032919 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 NQueens-PT-12-CTLFireability-14 6630702 m, 52759 m/sec, 63219680 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-12-CTLFireability-14 6879458 m, 49751 m/sec, 66328916 t fired, . Pages in use: 32 Visible: 16 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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-12-CTLFireability-14 7193534 m, 62815 m/sec, 69430987 t fired, . Pages in use: 32 Visible: 16 55 (type EXCL) for NQueens-PT-12-CTLFireability-14 (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 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 48 NQueens-PT-12-CTLFireability-12 49 (type EXCL) for NQueens-PT-12-CTLFireability-12 : true 144 143 0.000000 1 (type EXCL) for 39 NQueens-PT-12-CTLFireability-09 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 NQueens-PT-12-CTLFireability-09 1750688 m, 350137 m/sec, 2999837 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 NQueens-PT-12-CTLFireability-09 3615797 m, 373021 m/sec, 6079314 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-12-CTLFireability-09 5362269 m, 349294 m/sec, 9051445 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-12-CTLFireability-09 7031806 m, 333907 m/sec, 11951217 t fired, . Pages in use: 32 Visible: 16 40 (type EXCL) for NQueens-PT-12-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 36 NQueens-PT-12-CTLFireability-08 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-12-CTLFireability-08 1471081 m, 294216 m/sec, 3961167 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-12-CTLFireability-08 2985902 m, 302964 m/sec, 8136780 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 NQueens-PT-12-CTLFireability-08 4469243 m, 296668 m/sec, 12209455 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-12-CTLFireability-08 5930775 m, 292306 m/sec, 16194178 t fired, . Pages in use: 32 Visible: 16 37 (type EXCL) for NQueens-PT-12-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 33 NQueens-PT-12-CTLFireability-07 34 (type EXCL) for NQueens-PT-12-CTLFireability-07 : true 144 143 0.000000 1 (type EXCL) for 30 NQueens-PT-12-CTLFireability-06 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-12-CTLFireability-06 1820961 m, 364192 m/sec, 3132828 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 NQueens-PT-12-CTLFireability-06 3722904 m, 380388 m/sec, 6342110 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-12-CTLFireability-06 5495844 m, 354588 m/sec, 9390952 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-12-CTLFireability-06 7253550 m, 351541 m/sec, 12427980 t fired, . Pages in use: 32 Visible: 16 31 (type EXCL) for NQueens-PT-12-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 2 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 3 0 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 19 NQueens-PT-12-CTLFireability-05 28 (type EXCL) for NQueens-PT-12-CTLFireability-05 : false 11 10 0.000000 1 (type EXCL) for 19 NQueens-PT-12-CTLFireability-05 22 (type EXCL) for NQueens-PT-12-CTLFireability-05 : true 514 516 0.000000 1 (type EXCL) for 9 NQueens-PT-12-CTLFireability-03 14 (type EXCL) for NQueens-PT-12-CTLFireability-03 : false 0.000000 1 (type EXCL) for 6 NQueens-PT-12-CTLFireability-02 7 (type EXCL) for NQueens-PT-12-CTLFireability-02 : false 11 13 0.000000 1 (type EXCL) for 3 NQueens-PT-12-CTLFireability-01 4 (type EXCL) for NQueens-PT-12-CTLFireability-01 : false 11 10 0.000000 1 (type EXCL) for 45 NQueens-PT-12-CTLFireability-11 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 NQueens-PT-12-CTLFireability-11 297108 m, 59421 m/sec, 1501081 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 NQueens-PT-12-CTLFireability-11 587936 m, 58165 m/sec, 3005867 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 NQueens-PT-12-CTLFireability-11 875810 m, 57574 m/sec, 4543783 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 NQueens-PT-12-CTLFireability-11 1138225 m, 52483 m/sec, 6049922 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 NQueens-PT-12-CTLFireability-11 1404451 m, 53245 m/sec, 7596734 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-12-CTLFireability-11 1640562 m, 47222 m/sec, 9092897 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 NQueens-PT-12-CTLFireability-11 1855413 m, 42970 m/sec, 10594398 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 NQueens-PT-12-CTLFireability-11 2072986 m, 43514 m/sec, 12088887 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-12-CTLFireability-11 2364847 m, 58372 m/sec, 13603293 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 NQueens-PT-12-CTLFireability-11 2646680 m, 56366 m/sec, 15129654 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 NQueens-PT-12-CTLFireability-11 2927388 m, 56141 m/sec, 16656634 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 NQueens-PT-12-CTLFireability-11 3198276 m, 54177 m/sec, 18177003 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 NQueens-PT-12-CTLFireability-11 3457437 m, 51832 m/sec, 19706962 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 NQueens-PT-12-CTLFireability-11 3704464 m, 49405 m/sec, 21175452 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 NQueens-PT-12-CTLFireability-11 3945084 m, 48124 m/sec, 22704224 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 NQueens-PT-12-CTLFireability-11 4163727 m, 43728 m/sec, 24224860 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 NQueens-PT-12-CTLFireability-11 4355138 m, 38282 m/sec, 25769257 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 NQueens-PT-12-CTLFireability-11 4623919 m, 53756 m/sec, 27204943 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-12-CTLFireability-11 4905158 m, 56247 m/sec, 28683429 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 NQueens-PT-12-CTLFireability-11 5178447 m, 54657 m/sec, 30152311 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-12-CTLFireability-11 5435411 m, 51392 m/sec, 31613512 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 NQueens-PT-12-CTLFireability-11 5682552 m, 49428 m/sec, 33069088 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 NQueens-PT-12-CTLFireability-11 5916149 m, 46719 m/sec, 34500538 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 NQueens-PT-12-CTLFireability-11 6135069 m, 43784 m/sec, 35966418 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-12-CTLFireability-11 6320804 m, 37147 m/sec, 37448580 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 NQueens-PT-12-CTLFireability-11 6581222 m, 52083 m/sec, 38832555 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-12-CTLFireability-11 6842237 m, 52203 m/sec, 40248721 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-12-CTLFireability-11 7085878 m, 48728 m/sec, 41641582 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 NQueens-PT-12-CTLFireability-11 7324872 m, 47798 m/sec, 43046726 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 NQueens-PT-12-CTLFireability-11 7544740 m, 43973 m/sec, 44454076 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 NQueens-PT-12-CTLFireability-11 7744531 m, 39958 m/sec, 45853992 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 NQueens-PT-12-CTLFireability-11 7949049 m, 40903 m/sec, 47263401 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 NQueens-PT-12-CTLFireability-11 8217132 m, 53616 m/sec, 48680615 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 NQueens-PT-12-CTLFireability-11 8479983 m, 52570 m/sec, 50120423 t fired, . Pages in use: 32 Visible: 16 46 (type EXCL) for NQueens-PT-12-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 19 NQueens-PT-12-CTLFireability-05 26 (type EXCL) for NQueens-PT-12-CTLFireability-05 : false 1 0.000000 1 (type EXCL) for 0 NQueens-PT-12-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 NQueens-PT-12-CTLFireability-00 1944160 m, 388832 m/sec, 3225722 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 NQueens-PT-12-CTLFireability-00 3891383 m, 389444 m/sec, 6513466 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 NQueens-PT-12-CTLFireability-00 5736050 m, 368933 m/sec, 9691773 t fired, . Pages in use: 32 Visible: 16 1 (type EXCL) for NQueens-PT-12-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 51 NQueens-PT-12-CTLFireability-13 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 NQueens-PT-12-CTLFireability-13 1042478 m, 208495 m/sec, 2891729 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 NQueens-PT-12-CTLFireability-13 2133675 m, 218239 m/sec, 5876473 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 NQueens-PT-12-CTLFireability-13 3216852 m, 216635 m/sec, 9030387 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 NQueens-PT-12-CTLFireability-13 4248567 m, 206343 m/sec, 11971297 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 NQueens-PT-12-CTLFireability-13 5290957 m, 208478 m/sec, 15048586 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 NQueens-PT-12-CTLFireability-13 6305128 m, 202834 m/sec, 18020635 t fired, . Pages in use: 32 Visible: 16 52 (type EXCL) for NQueens-PT-12-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CONJ false CONJ CTL true CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 16 NQueens-PT-12-CTLFireability-04 17 (type EXCL) for NQueens-PT-12-CTLFireability-04 : false 11 14 0.000000 1 (type EXCL) for 42 NQueens-PT-12-CTLFireability-10 43 (type EXCL) for NQueens-PT-12-CTLFireability-10 : false 129678 675753 1.000000 1 no open tasks 16 VALUE PRODUCED BY CTL unknown AGGR CTL false CTL model checker CTL false CTL model checker DISJ unknown DISJ CTL false CTL model checker CONJ false CONJ CTL unknown AGGR CTL true CTL model checker CTL unknown AGGR CTL unknown AGGR CTL false CTL model checker EG unknown AGGR CTL true CTL model checker CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR Pages in use: 32

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="NQueens-PT-12"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is NQueens-PT-12, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r262-smll-167863536700034"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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