MCC'2023- Execution of r486-tall-167912700700042

About the Execution of LoLA for Sudoku-COL-AN06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16196.188	608593.00	692763.00	9580.90	?????T????????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-input.
Waiting for the VM to be
..................................
============
Generated by BenchKit 2-5348
Executing tool lola
Input is Sudoku-COL-AN06,
Time confinement is 3600
Memory confinement is
Number of cores is 4
Run identifier is r486-tall-16
==================================

--------------------
preparation of the directory
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 7.5K
-rw-r--r-- 1 mcc users 80K
-rw-r--r-- 1 mcc users 5.9K
-rw-r--r-- 1 mcc users 54K
-rw-r--r-- 1 mcc users 4.2K
-rw-r--r-- 1 mcc users 6.6K
-rw-r--r-- 1 mcc users 3.4K
-rw-r--r-- 1 mcc users 22K
-rw-r--r-- 1 mcc users 2.3K
-rw-r--r-- 1 mcc users 16K
-rw-r--r-- 1 mcc users 16K
-rw-r--r-- 1 mcc users 167K
-rw-r--r-- 1 mcc users 6.0K
-rw-r--r-- 1 mcc users 44K
-rw-r--r-- 1 mcc users 1.6K
-rw-r--r-- 1 mcc users 3.7K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 6.5K Mar

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

=== Data for post analysis

The expected result is a
BOOL_VECTOR

here is the order used to
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi
FORMULA_NAME Sudoku-COL-AN06-CTLFi

=== Now, execution of the

BK_START 1679150040830

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin
BK_TIME_CONFINEMENT=3600
BK_INPUT=Sudoku-COL-AN06
Not applying reductions.
Model is COL
CTLFireability PT
[2023-03-18 14:34:02] [INFO
[2023-03-18 14:34:02] [INFO
[2023-03-18 14:34:02] [INFO
log4j:WARN No appenders could
log4j:WARN Please initialize
log4j:WARN See http://logging.apac
[2023-03-18 14:34:02] [WARNING]
[2023-03-18 14:34:02] [INFO
[2023-03-18 14:34:02] [INFO
Parsed 16 properties from
[2023-03-18 14:34:02] [INFO
[2023-03-18 14:34:02] [INFO
[2023-03-18 14:34:03] [INFO
[2023-03-18 14:34:03] [INFO
Total runtime 948 ms.
starting LoLA
BK_INPUT Sudoku-COL-AN06
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/
current directory: /home/mcc/execu

FORMULA Sudoku-COL-AN06-CTLFireability-14

FORMULA Sudoku-COL-AN06-CTLFireability-05

BK_STOP 1679150649423

--------------------
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 /home/mcc/
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula from
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
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: Rule S: 0 transitions
lola: Created skeleton
lola: LAUNCH INITIAL
lola: LAUNCH task # 43
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED task # 43
lola: result
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 67
lola: time limit : 141 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 65
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 66
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 68
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: FINISHED task # 68
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task # 67
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 65
lola: CANCELED task # 66
lola: FINISHED task # 65
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 22
lola: time limit : 197 sec
lola: memory limit: 32 pages
lola: planning for (null)
lola: planning for (null)
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: Created skeleton
lola: Created skeleton
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 5/236

Time elapsed: 58 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 10/236

Time elapsed: 63 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 15/236

Time elapsed: 68 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 20/236

Time elapsed: 73 secs.
# running tasks: 1 of 4 Visible:
lola: FINISHED task # 66
lola: result
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 25/236

Time elapsed: 78 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 30/236

Time elapsed: 83 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 35/236

Time elapsed: 88 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 40/236

Time elapsed: 93 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 45/236

Time elapsed: 98 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 50/236

Time elapsed: 103 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 55/236

Time elapsed: 108 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 60/236

Time elapsed: 113 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 65/236

Time elapsed: 118 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 70/236

Time elapsed: 123 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 75/236

Time elapsed: 128 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 80/236

Time elapsed: 133 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 85/236

Time elapsed: 138 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 90/236

Time elapsed: 143 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 95/236

Time elapsed: 148 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 100/236

Time elapsed: 153 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 105/236

Time elapsed: 158 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 110/236

Time elapsed: 163 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 115/236

Time elapsed: 168 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 120/236

Time elapsed: 173 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 125/236

Time elapsed: 178 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 130/236

Time elapsed: 183 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 135/236

Time elapsed: 188 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 140/236

Time elapsed: 193 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 145/236

Time elapsed: 198 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 150/236

Time elapsed: 203 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 155/236

Time elapsed: 208 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 160/236

Time elapsed: 213 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 165/236

Time elapsed: 218 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 170/236

Time elapsed: 223 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 175/236

Time elapsed: 228 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 180/236

Time elapsed: 233 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 185/236

Time elapsed: 238 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 190/236

Time elapsed: 243 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 195/236

Time elapsed: 248 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 200/236

Time elapsed: 253 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 205/236

Time elapsed: 258 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 210/236

Time elapsed: 263 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 215/236

Time elapsed: 268 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 220/236

Time elapsed: 273 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 225/236

Time elapsed: 278 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 230/236

Time elapsed: 283 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 235/236

Time elapsed: 288 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 22
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 293 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 37
lola: time limit : 236 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 22
lola: time limit : 3307 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 5/3307
37 CTL EXCL 5/236

Time elapsed: 298 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 10/3307
37 CTL EXCL 10/220

Time elapsed: 303 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 15/3307
37 CTL EXCL 15/220

Time elapsed: 308 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 20/3307
37 CTL EXCL 20/220

Time elapsed: 313 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 25/3307
37 CTL EXCL 25/220

Time elapsed: 318 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 30/3307
37 CTL EXCL 30/220

Time elapsed: 323 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 35/3307
37 CTL EXCL 35/220

Time elapsed: 328 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 40/3307
37 CTL EXCL 40/220

Time elapsed: 333 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 45/3307
37 CTL EXCL 45/220

Time elapsed: 338 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
22 CTL EXCL 50/3307
37 CTL EXCL 50/220

Time elapsed: 343 secs.
# running tasks: 2 of 4 Visible:
lola: CANCELED task # 22
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 55/220

Time elapsed: 348 secs.
# running tasks: 2 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
37 CTL EXCL 60/236

Time elapsed: 353 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 37
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 358 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 34
lola: time limit : 249 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 5/249

Time elapsed: 363 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 10/249

Time elapsed: 368 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 15/249

Time elapsed: 373 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 20/249

Time elapsed: 378 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 25/249

Time elapsed: 383 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 30/249

Time elapsed: 388 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 35/249

Time elapsed: 393 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 40/249

Time elapsed: 398 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 45/249

Time elapsed: 403 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 50/249

Time elapsed: 408 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 55/249

Time elapsed: 413 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 34
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 418 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 31
lola: time limit : 265 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

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

Time elapsed: 423 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

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

Time elapsed: 428 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

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

Time elapsed: 433 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

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

Time elapsed: 438 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 25/265

Time elapsed: 443 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 30/265

Time elapsed: 448 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 35/265

Time elapsed: 453 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 40/265

Time elapsed: 458 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 45/265

Time elapsed: 463 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 50/265

Time elapsed: 468 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 55/265

Time elapsed: 473 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 31
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 478 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 19
lola: time limit : 283 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 5/283

Time elapsed: 483 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 10/283

Time elapsed: 488 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 15/283

Time elapsed: 493 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 20/283

Time elapsed: 498 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 25/283

Time elapsed: 503 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 30/283

Time elapsed: 508 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 35/283

Time elapsed: 513 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 40/283

Time elapsed: 518 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 45/283

Time elapsed: 523 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 50/283

Time elapsed: 528 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 55/283

Time elapsed: 533 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 60/283

Time elapsed: 538 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 65/283

Time elapsed: 543 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 70/283

Time elapsed: 548 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 75/283

Time elapsed: 553 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 80/283

Time elapsed: 558 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 85/283

Time elapsed: 563 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 90/283

Time elapsed: 568 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 95/283

Time elapsed: 573 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 100/283

Time elapsed: 578 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 105/283

Time elapsed: 583 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 110/283

Time elapsed: 588 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 115/283

Time elapsed: 593 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
19 CTL EXCL 120/283

Time elapsed: 598 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 19
FINISHED FORMULA: CATEGORY
Sudoku-COL-AN06-CTLFireability-14: INITIAL

PENDING FORMULAS: CATEGORY
Sudoku-COL-AN06-CTLFireability-00:
Sudoku-COL-AN06-CTLFireability-01:
Sudoku-COL-AN06-CTLFireability-02:
Sudoku-COL-AN06-CTLFireability-03:
Sudoku-COL-AN06-CTLFireability-04:
Sudoku-COL-AN06-CTLFireability-05:
Sudoku-COL-AN06-CTLFireability-06:
Sudoku-COL-AN06-CTLFireability-07:
Sudoku-COL-AN06-CTLFireability-08:
Sudoku-COL-AN06-CTLFireability-09:
Sudoku-COL-AN06-CTLFireability-10:
Sudoku-COL-AN06-CTLFireability-11:
Sudoku-COL-AN06-CTLFireability-12:
Sudoku-COL-AN06-CTLFireability-13: SP ACTL
Sudoku-COL-AN06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 603 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 16
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: FINISHED task # 16
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 13
lola: time limit : 333 sec
lola: memory limit: 32 pages
/home/mcc/BenchKit/bin//../lola/bi
r486-tall-167912700700042.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 seconds 16384 MBytes 7912700700042 =================================== to be used: Feb 26 09:25 CTLCardinality.txt Feb 26 09:25 CTLCardinality.xml Feb 26 09:20 CTLFireability.txt Feb 26 09:20 CTLFireability.xml Jan 29 11:41 GenericPropertiesDefinition.xml Jan 29 11:41 GenericPropertiesVerdict.xml Feb 25 17:16 LTLCardinality.txt Feb 25 17:16 LTLCardinality.xml Feb 25 17:16 LTLFireability.txt Feb 25 17:16 LTLFireability.xml Feb 26 09:33 ReachabilityCardinality.txt Feb 26 09:33 ReachabilityCardinality.xml Feb 26 09:25 ReachabilityFireability.txt Feb 26 09:25 ReachabilityFireability.xml Feb 25 17:16 UpperBounds.txt Feb 25 17:16 UpperBounds.xml 5 Mar 5 18:23 equiv_pt 5 Mar 5 18:23 instance 5 Mar 5 18:23 iscolored 5 18:23 model.pnml generated by BenchKit (invocation template) vector of booleans 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 / ] Running its-tools with arguments : [-pnfolder, ., -examination, CTLFireability, --reduce-single, STATESPACE] ] Parsing pnml file : /home/mcc/execution/./model.pnml ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator). the log4j system properly. he.org/log4j/1.2/faq.html#noconfig for more info. Using fallBack plugin, rng conformance not checked ] Load time of PNML (colored model parsed with PNMLFW) : 377 ms ] Imported 4 HL places and 1 HL transitions for a total of 324 PT places and 216.0 transition bindings in 10 ms. file ./CTLFireability.xml in 14 ms. ] Unfolded HLPN to a Petri net with 324 places and 216 transitions 864 arcs in 19 ms. ] Unfolded 16 HLPN properties in 4 ms. ] Export to MCC of 16 properties in file ./CTLFireability.STATESPACE.xml took 228 ms. ] Export to PNML in file ./model.STATESPACE.pnml of net with 324 places, 216 transitions and 864 arcs took 1 ms. bin//../lola/bin/ tion/unfCTLFireability 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 (--pnmlnet) /home/mcc/execution/unfCTLFireability/model.pnml place/transition net execution/unfCTLFireability/model.pnml (--xmlformula) /home/mcc/execution/unfCTLFireability/CTLCardinality.xml rmula_rewrite.k:448 rmula_rewrite.k:445 rmula_rewrite.k:454 rmula_rewrite.k:448 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:547 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:253 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:469 rmula_rewrite.k:388 rmula_rewrite.k:98 rmula_rewrite.k:544 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:250 rmula_rewrite.k:544 rmula_rewrite.k:388 rmula_rewrite.k:544 rmula_rewrite.k:388 rmula_rewrite.k:544 rmula_rewrite.k:388 rmula_rewrite.k:457 rmula_rewrite.k:454 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:454 rmula_rewrite.k:451 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. (type CNST) for 42 Sudoku-COL-AN06-CTLFireability-14 (type CNST) for Sudoku-COL-AN06-CTLFireability-14 : true in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. rmula_rewrite.k:721 rmula_rewrite.k:787 rmula_rewrite.k:721 rmula_rewrite.k:787 rmula_rewrite.k:721 rmula_rewrite.k:787 (type EXCL) for 45 Sudoku-COL-AN06-CTLFireability-15 (type FNDP) for 45 Sudoku-COL-AN06-CTLFireability-15 sec (type EQUN) for 45 Sudoku-COL-AN06-CTLFireability-15 sec (type SRCH) for 45 Sudoku-COL-AN06-CTLFireability-15 sec rmula_rewrite.k:721 rmula_rewrite.k:787 (type SRCH) for Sudoku-COL-AN06-CTLFireability-15 : unknown 0.000000 1 (type EXCL) for Sudoku-COL-AN06-CTLFireability-15 : true 34 33 0.000000 1 (type FNDP) for Sudoku-COL-AN06-CTLFireability-15 (obsolete) (type EQUN) for Sudoku-COL-AN06-CTLFireability-15 (obsolete) (type FNDP) for Sudoku-COL-AN06-CTLFireability-15 : unknown 14 2 0.000000 0 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:808 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:808 (type EXCL) for 21 Sudoku-COL-AN06-CTLFireability-07 stopped (result already fixed). stopped (result already fixed). in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. rmula_rewrite.k:679 rmula_rewrite.k:679 rmula_rewrite.k:811 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:807 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:808 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:808 rmula_rewrite.k:813 rmula_rewrite.k:812 rmula_rewrite.k:807 rmula_rewrite.k:807 rmula_rewrite.k:811 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:814 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:814 rmula_rewrite.k:813 rmula_rewrite.k:814 rmula_rewrite.k:809 rmula_rewrite.k:811 rmula_rewrite.k:814 rmula_rewrite.k:814 rmula_rewrite.k:813 rmula_rewrite.k:815 rmula_rewrite.k:810 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:813 rmula_rewrite.k:810 rmula_rewrite.k:810 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:679 rmula_rewrite.k:679 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:809 rmula_rewrite.k:811 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:814 rmula_rewrite.k:807 rmula_rewrite.k:808 rmula_rewrite.k:814 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:811 rmula_rewrite.k:811 rmula_rewrite.k:813 rmula_rewrite.k:815 rmula_rewrite.k:810 rmula_rewrite.k:810 rmula_rewrite.k:808 rmula_rewrite.k:814 rmula_rewrite.k:807 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:812 rmula_rewrite.k:808 rmula_rewrite.k:703 in 0.000000 secs. in 0.000000 secs. VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 10 0 0 2 MEM PG/PGLIMIT FORMULA STATUS 1/32 Sudoku-COL-AN06-CTLFireability-07 114795 m, 22959 m/sec, 620640 t fired, . Pages in use: 2 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 10 0 0 2 MEM PG/PGLIMIT FORMULA STATUS 2/32 Sudoku-COL-AN06-CTLFireability-07 219551 m, 20951 m/sec, 1253997 t fired, . Pages in use: 2 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 10 0 0 2 MEM PG/PGLIMIT FORMULA STATUS 2/32 Sudoku-COL-AN06-CTLFireability-07 304103 m, 16910 m/sec, 1891913 t fired, . Pages in use: 2 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 10 0 0 2 MEM PG/PGLIMIT FORMULA STATUS 3/32 Sudoku-COL-AN06-CTLFireability-07 413843 m, 21948 m/sec, 2534803 t fired, . Pages in use: 3 16 (type EQUN) for Sudoku-COL-AN06-CTLFireability-15 : unknown VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/32 Sudoku-COL-AN06-CTLFireability-07 524883 m, 22208 m/sec, 3240109 t fired, . Pages in use: 3 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Sudoku-COL-AN06-CTLFireability-07 618693 m, 18762 m/sec, 3904024 t fired, . Pages in use: 4 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Sudoku-COL-AN06-CTLFireability-07 736402 m, 23541 m/sec, 4610038 t fired, . Pages in use: 4 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Sudoku-COL-AN06-CTLFireability-07 822658 m, 17251 m/sec, 5268462 t fired, . Pages in use: 4 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Sudoku-COL-AN06-CTLFireability-07 916051 m, 18678 m/sec, 5937189 t fired, . Pages in use: 5 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Sudoku-COL-AN06-CTLFireability-07 1021941 m, 21178 m/sec, 6633450 t fired, . Pages in use: 5 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 6/32 Sudoku-COL-AN06-CTLFireability-07 1103337 m, 16279 m/sec, 7278623 t fired, . Pages in use: 6 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 6/32 Sudoku-COL-AN06-CTLFireability-07 1201519 m, 19636 m/sec, 7960151 t fired, . Pages in use: 6 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Sudoku-COL-AN06-CTLFireability-07 1269221 m, 13540 m/sec, 8561436 t fired, . Pages in use: 7 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Sudoku-COL-AN06-CTLFireability-07 1346186 m, 15393 m/sec, 9185643 t fired, . Pages in use: 7 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Sudoku-COL-AN06-CTLFireability-07 1422565 m, 15275 m/sec, 9802976 t fired, . Pages in use: 7 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Sudoku-COL-AN06-CTLFireability-07 1476471 m, 10781 m/sec, 10355303 t fired, . Pages in use: 8 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Sudoku-COL-AN06-CTLFireability-07 1520757 m, 8857 m/sec, 10874469 t fired, . Pages in use: 8 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 8/32 Sudoku-COL-AN06-CTLFireability-07 1611775 m, 18203 m/sec, 11471686 t fired, . Pages in use: 8 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 9/32 Sudoku-COL-AN06-CTLFireability-07 1734325 m, 24510 m/sec, 12188031 t fired, . Pages in use: 9 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 9/32 Sudoku-COL-AN06-CTLFireability-07 1827482 m, 18631 m/sec, 12862828 t fired, . Pages in use: 9 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Sudoku-COL-AN06-CTLFireability-07 1938977 m, 22299 m/sec, 13545074 t fired, . Pages in use: 10 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Sudoku-COL-AN06-CTLFireability-07 2047880 m, 21780 m/sec, 14247371 t fired, . Pages in use: 10 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 11/32 Sudoku-COL-AN06-CTLFireability-07 2142532 m, 18930 m/sec, 14916918 t fired, . Pages in use: 11 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 11/32 Sudoku-COL-AN06-CTLFireability-07 2263620 m, 24217 m/sec, 15641730 t fired, . Pages in use: 11 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Sudoku-COL-AN06-CTLFireability-07 2352646 m, 17805 m/sec, 16319829 t fired, . Pages in use: 12 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Sudoku-COL-AN06-CTLFireability-07 2450838 m, 19638 m/sec, 16993826 t fired, . Pages in use: 12 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Sudoku-COL-AN06-CTLFireability-07 2538651 m, 17562 m/sec, 17638993 t fired, . Pages in use: 13 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Sudoku-COL-AN06-CTLFireability-07 2629135 m, 18096 m/sec, 18327572 t fired, . Pages in use: 13 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Sudoku-COL-AN06-CTLFireability-07 2731590 m, 20491 m/sec, 19013947 t fired, . Pages in use: 14 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Sudoku-COL-AN06-CTLFireability-07 2800588 m, 13799 m/sec, 19628235 t fired, . Pages in use: 14 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Sudoku-COL-AN06-CTLFireability-07 2878007 m, 15483 m/sec, 20261782 t fired, . Pages in use: 14 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Sudoku-COL-AN06-CTLFireability-07 2955392 m, 15477 m/sec, 20901330 t fired, . Pages in use: 15 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Sudoku-COL-AN06-CTLFireability-07 3010324 m, 10986 m/sec, 21463645 t fired, . Pages in use: 15 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Sudoku-COL-AN06-CTLFireability-07 3053145 m, 8564 m/sec, 21980991 t fired, . Pages in use: 15 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 16/32 Sudoku-COL-AN06-CTLFireability-07 3155549 m, 20480 m/sec, 22610020 t fired, . Pages in use: 16 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 16/32 Sudoku-COL-AN06-CTLFireability-07 3273460 m, 23582 m/sec, 23337435 t fired, . Pages in use: 16 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 17/32 Sudoku-COL-AN06-CTLFireability-07 3383126 m, 21933 m/sec, 24042345 t fired, . Pages in use: 17 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 17/32 Sudoku-COL-AN06-CTLFireability-07 3491519 m, 21678 m/sec, 24741785 t fired, . Pages in use: 17 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 18/32 Sudoku-COL-AN06-CTLFireability-07 3572525 m, 16201 m/sec, 25385340 t fired, . Pages in use: 18 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 18/32 Sudoku-COL-AN06-CTLFireability-07 3645929 m, 14680 m/sec, 25983874 t fired, . Pages in use: 18 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 19/32 Sudoku-COL-AN06-CTLFireability-07 3773752 m, 25564 m/sec, 26712150 t fired, . Pages in use: 19 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 19/32 Sudoku-COL-AN06-CTLFireability-07 3887797 m, 22809 m/sec, 27412958 t fired, . Pages in use: 19 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 20/32 Sudoku-COL-AN06-CTLFireability-07 3976631 m, 17766 m/sec, 28075934 t fired, . Pages in use: 20 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 20/32 Sudoku-COL-AN06-CTLFireability-07 4057057 m, 16085 m/sec, 28699835 t fired, . Pages in use: 20 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Sudoku-COL-AN06-CTLFireability-07 4176694 m, 23927 m/sec, 29410626 t fired, . Pages in use: 21 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Sudoku-COL-AN06-CTLFireability-07 4286146 m, 21890 m/sec, 30101859 t fired, . Pages in use: 21 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Sudoku-COL-AN06-CTLFireability-07 4374596 m, 17690 m/sec, 30759253 t fired, . Pages in use: 21 16 (type EXCL) for Sudoku-COL-AN06-CTLFireability-07 (local timeout) VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 1 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 22 16 (type EXCL) for 36 Sudoku-COL-AN06-CTLFireability-12 (type EXCL) for 21 Sudoku-COL-AN06-CTLFireability-07 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 1/5 Sudoku-COL-AN06-CTLFireability-07 127752 m, -849368 m/sec, 684224 t fired, . 4/32 Sudoku-COL-AN06-CTLFireability-12 677655 m, 135531 m/sec, 4560234 t fired, . Pages in use: 22 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 2/5 Sudoku-COL-AN06-CTLFireability-07 240059 m, 22461 m/sec, 1378769 t fired, . 7/32 Sudoku-COL-AN06-CTLFireability-12 1269651 m, 118399 m/sec, 8911060 t fired, . Pages in use: 22 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 2/5 Sudoku-COL-AN06-CTLFireability-07 319184 m, 15825 m/sec, 1996530 t fired, . 9/32 Sudoku-COL-AN06-CTLFireability-12 1814729 m, 109015 m/sec, 13445913 t fired, . Pages in use: 22 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/5 Sudoku-COL-AN06-CTLFireability-07 443330 m, 24829 m/sec, 2718141 t fired, . 12/32 Sudoku-COL-AN06-CTLFireability-12 2421147 m, 121283 m/sec, 17663583 t fired, . Pages in use: 22 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 3/5 Sudoku-COL-AN06-CTLFireability-07 548751 m, 21084 m/sec, 3411417 t fired, . 15/32 Sudoku-COL-AN06-CTLFireability-12 2964531 m, 108676 m/sec, 21895816 t fired, . Pages in use: 22 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/5 Sudoku-COL-AN06-CTLFireability-07 652948 m, 20839 m/sec, 4089700 t fired, . 17/32 Sudoku-COL-AN06-CTLFireability-12 3523919 m, 111877 m/sec, 26308233 t fired, . Pages in use: 22 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/5 Sudoku-COL-AN06-CTLFireability-07 759018 m, 21214 m/sec, 4762984 t fired, . 20/32 Sudoku-COL-AN06-CTLFireability-12 4127485 m, 120713 m/sec, 30643360 t fired, . Pages in use: 24 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/5 Sudoku-COL-AN06-CTLFireability-07 836768 m, 15550 m/sec, 5373024 t fired, . 23/32 Sudoku-COL-AN06-CTLFireability-12 4678925 m, 110288 m/sec, 34722864 t fired, . Pages in use: 28 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/5 Sudoku-COL-AN06-CTLFireability-07 931614 m, 18969 m/sec, 6029661 t fired, . 25/32 Sudoku-COL-AN06-CTLFireability-12 5218996 m, 108014 m/sec, 38854919 t fired, . Pages in use: 30 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/5 Sudoku-COL-AN06-CTLFireability-07 1032081 m, 20093 m/sec, 6710326 t fired, . 28/32 Sudoku-COL-AN06-CTLFireability-12 5680702 m, 92341 m/sec, 42989741 t fired, . Pages in use: 33 16 (type EXCL) for Sudoku-COL-AN06-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 30/32 Sudoku-COL-AN06-CTLFireability-12 6141835 m, 92226 m/sec, 47267218 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 32/32 Sudoku-COL-AN06-CTLFireability-12 6571663 m, 85965 m/sec, 51327257 t fired, . Pages in use: 33 16 (type EXCL) for Sudoku-COL-AN06-CTLFireability-12 (memory limit exceeded) VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 33 16 (type EXCL) for 33 Sudoku-COL-AN06-CTLFireability-11 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Sudoku-COL-AN06-CTLFireability-11 712321 m, 142464 m/sec, 4773783 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Sudoku-COL-AN06-CTLFireability-11 1303435 m, 118222 m/sec, 9231316 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Sudoku-COL-AN06-CTLFireability-11 1885622 m, 116437 m/sec, 13923838 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Sudoku-COL-AN06-CTLFireability-11 2498180 m, 122511 m/sec, 18293618 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Sudoku-COL-AN06-CTLFireability-11 3066149 m, 113593 m/sec, 22731991 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 18/32 Sudoku-COL-AN06-CTLFireability-11 3680550 m, 122880 m/sec, 27420004 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Sudoku-COL-AN06-CTLFireability-11 4306377 m, 125165 m/sec, 32018946 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 24/32 Sudoku-COL-AN06-CTLFireability-11 4910803 m, 120885 m/sec, 36419464 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 27/32 Sudoku-COL-AN06-CTLFireability-11 5454328 m, 108705 m/sec, 40899987 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 29/32 Sudoku-COL-AN06-CTLFireability-11 5933028 m, 95740 m/sec, 45563428 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 31/32 Sudoku-COL-AN06-CTLFireability-11 6425855 m, 98565 m/sec, 49752440 t fired, . Pages in use: 33 16 (type EXCL) for Sudoku-COL-AN06-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 33 16 (type EXCL) for 30 Sudoku-COL-AN06-CTLFireability-10 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Sudoku-COL-AN06-CTLFireability-10 728144 m, 145628 m/sec, 4894418 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Sudoku-COL-AN06-CTLFireability-10 1345884 m, 123548 m/sec, 9617454 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Sudoku-COL-AN06-CTLFireability-10 1926510 m, 116125 m/sec, 14273284 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Sudoku-COL-AN06-CTLFireability-10 2535562 m, 121810 m/sec, 18545171 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Sudoku-COL-AN06-CTLFireability-10 3082909 m, 109469 m/sec, 22878147 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 18/32 Sudoku-COL-AN06-CTLFireability-10 3677381 m, 118894 m/sec, 27397204 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Sudoku-COL-AN06-CTLFireability-10 4264651 m, 117454 m/sec, 31745773 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 24/32 Sudoku-COL-AN06-CTLFireability-10 4858062 m, 118682 m/sec, 36080494 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 26/32 Sudoku-COL-AN06-CTLFireability-10 5402830 m, 108953 m/sec, 40483238 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 29/32 Sudoku-COL-AN06-CTLFireability-10 5872998 m, 94033 m/sec, 45079879 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 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 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 31/32 Sudoku-COL-AN06-CTLFireability-10 6376597 m, 100719 m/sec, 49317770 t fired, . Pages in use: 33 16 (type EXCL) for Sudoku-COL-AN06-CTLFireability-10 (memory limit exceeded) VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 33 16 (type EXCL) for 18 Sudoku-COL-AN06-CTLFireability-06 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 2/32 Sudoku-COL-AN06-CTLFireability-06 319826 m, 63965 m/sec, 2256828 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 4/32 Sudoku-COL-AN06-CTLFireability-06 618434 m, 59721 m/sec, 4450263 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 5/32 Sudoku-COL-AN06-CTLFireability-06 909292 m, 58171 m/sec, 6557429 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 6/32 Sudoku-COL-AN06-CTLFireability-06 1195084 m, 57158 m/sec, 8743110 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 7/32 Sudoku-COL-AN06-CTLFireability-06 1451719 m, 51327 m/sec, 10927395 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 9/32 Sudoku-COL-AN06-CTLFireability-06 1697312 m, 49118 m/sec, 13194314 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 10/32 Sudoku-COL-AN06-CTLFireability-06 2004361 m, 61409 m/sec, 15436464 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 12/32 Sudoku-COL-AN06-CTLFireability-06 2311882 m, 61504 m/sec, 17637918 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 13/32 Sudoku-COL-AN06-CTLFireability-06 2596150 m, 56853 m/sec, 19777083 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 14/32 Sudoku-COL-AN06-CTLFireability-06 2876617 m, 56093 m/sec, 21943597 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 15/32 Sudoku-COL-AN06-CTLFireability-06 3126869 m, 50050 m/sec, 24173789 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 17/32 Sudoku-COL-AN06-CTLFireability-06 3406421 m, 55910 m/sec, 26504207 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 18/32 Sudoku-COL-AN06-CTLFireability-06 3714860 m, 61687 m/sec, 28742406 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 20/32 Sudoku-COL-AN06-CTLFireability-06 4013435 m, 59715 m/sec, 31025606 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 21/32 Sudoku-COL-AN06-CTLFireability-06 4308216 m, 58956 m/sec, 33263219 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 23/32 Sudoku-COL-AN06-CTLFireability-06 4608307 m, 60018 m/sec, 35428338 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 24/32 Sudoku-COL-AN06-CTLFireability-06 4895765 m, 57491 m/sec, 37700224 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 25/32 Sudoku-COL-AN06-CTLFireability-06 5177406 m, 56328 m/sec, 39946378 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 27/32 Sudoku-COL-AN06-CTLFireability-06 5438139 m, 52146 m/sec, 42202716 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 28/32 Sudoku-COL-AN06-CTLFireability-06 5682997 m, 48971 m/sec, 44485260 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 29/32 Sudoku-COL-AN06-CTLFireability-06 5900367 m, 43474 m/sec, 46813517 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 30/32 Sudoku-COL-AN06-CTLFireability-06 6166454 m, 53217 m/sec, 48994186 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 31/32 Sudoku-COL-AN06-CTLFireability-06 6412616 m, 49232 m/sec, 51155871 t fired, . Pages in use: 33 16 VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS 32/32 Sudoku-COL-AN06-CTLFireability-06 6633423 m, 44161 m/sec, 53381261 t fired, . Pages in use: 33 16 (type EXCL) for Sudoku-COL-AN06-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY true preprocessing IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 EGEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 11 0 0 1 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 33 16 (type EXCL) for 15 Sudoku-COL-AN06-CTLFireability-05 (type EXCL) for Sudoku-COL-AN06-CTLFireability-05 : true 29 58 0.000000 1 (type EXCL) for 12 Sudoku-COL-AN06-CTLFireability-04 n//../BenchKit_head.sh: line 63: 431 Killed lola --conf=$BIN_DIR/configfiles/ctlcardinalityconf --formula=$DIR/CTLCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

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="Sudoku-COL-AN06"
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 Sudoku-COL-AN06, 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 r486-tall-167912700700042"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-COL-AN06.tgz
mv Sudoku-COL-AN06 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 ;