MCC'2023- Execution of r134-smll-167819411700026

About the Execution of LoLA for Dekker-PT-050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16218.075	410571.00	498508.00	14643.60	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 1.5M Mar

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi
FORMULA_NAME Dekker-PT-050-CTLFi

=== Now, execution of the

BK_START 1678258153122

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

BK_STOP 1678258563693

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 61
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 62
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 63
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 64
lola: time limit :
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: CANCELED task #
lola: CANCELED task #
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: Created skeleton
lola: Created skeleton
lola: RELEASE
lola: RELEASE
lola: Created skeleton
lola: Rule S: 0 transitions
sara: try reading problem
sara: place or transition

lola: FINISHED task #
lola: result
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
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: ASSUMEDDEADLOCKFREE
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 65
lola: time limit :
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 55
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 67
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 68
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 70
lola: time limit :
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
sara: try reading problem
sara: place or transition

lola: FINISHED task #
lola: result
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 2/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 7/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 12/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 17/199

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

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

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

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 27/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 32/199

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

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

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

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 42/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 47/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 52/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 57/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 62/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 67/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 72/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 77/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 82/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 87/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 92/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 97/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 102/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 107/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 113/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 118/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 123/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 128/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 133/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 138/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 143/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 148/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 153/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 158/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 163/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 168/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 173/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 178/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 183/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 188/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 193/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 198/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 206 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 58
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 55
lola: time limit : 3394 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 5/3394
58 CTL EXCL 5/199

Time elapsed: 211 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 10/3394
58 CTL EXCL 10/188

Time elapsed: 216 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 15/3394
58 CTL EXCL 15/188

Time elapsed: 221 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 20/3394
58 CTL EXCL 20/188

Time elapsed: 226 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 25/3394
58 CTL EXCL 25/188

Time elapsed: 231 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 30/3394
58 CTL EXCL 30/188

Time elapsed: 236 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 35/3394
58 CTL EXCL 35/188

Time elapsed: 241 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 40/3394
58 CTL EXCL 40/188

Time elapsed: 246 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 45/3394
58 CTL EXCL 45/188

Time elapsed: 251 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 50/3394
58 CTL EXCL 50/188

Time elapsed: 256 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 55/3394
58 CTL EXCL 55/188

Time elapsed: 261 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 60/3394
58 CTL EXCL 60/188

Time elapsed: 266 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 65/3394
58 CTL EXCL 65/188

Time elapsed: 271 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 70/3394
58 CTL EXCL 70/188

Time elapsed: 276 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 75/3394
58 CTL EXCL 75/188

Time elapsed: 281 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 80/3394
58 CTL EXCL 80/188

Time elapsed: 286 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 85/3394
58 CTL EXCL 85/188

Time elapsed: 291 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 90/3394
58 CTL EXCL 90/188

Time elapsed: 296 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
55 CTL EXCL 95/3394
58 CTL EXCL 95/188

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 100/188

Time elapsed: 306 secs.
# running tasks: 2 of 4
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 105/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 110/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 115/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 120/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 125/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 130/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 135/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 140/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 145/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 151/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 156/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 161/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 166/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 171/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 176/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 181/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 186/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 191/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT
58 CTL EXCL 196/199

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

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 407 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 52
lola: time limit : 199 sec
lola: memory limit: 32 pages
/home/mcc/BenchKit/bin//../lola/
t.r134-smll-167819411700026.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ready (probing ssh) ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ =========================================================== examination is CTLFireability 3600 seconds is 16384 MBytes 167819411700026 ===================================== to be used: 7.3K Feb 26 01:58 CTLCardinality.txt 79K Feb 26 01:58 CTLCardinality.xml 5.9K Feb 26 01:49 CTLFireability.txt 46K Feb 26 01:49 CTLFireability.xml 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml 3.5K Feb 25 15:56 LTLCardinality.txt 24K Feb 25 15:56 LTLCardinality.xml 2.7K Feb 25 15:56 LTLFireability.txt 18K Feb 25 15:56 LTLFireability.xml 13K Feb 26 02:05 ReachabilityCardinality.txt 128K Feb 26 02:05 ReachabilityCardinality.xml 14K Feb 26 02:01 ReachabilityFireability.txt 98K Feb 26 02:01 ReachabilityFireability.xml 1.6K Feb 25 15:56 UpperBounds.txt 3.6K Feb 25 15:56 UpperBounds.xml 6 Mar 5 18:22 equiv_col 4 Mar 5 18:22 instance 6 Mar 5 18:22 iscolored 5 18:22 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N in/ t/bin//../lola/bin/ cution (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:451 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:314 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:448 formula_rewrite.k:314 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:340 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:340 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:340 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:550 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:325 formula_rewrite.k:340 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:544 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:317 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:394 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:553 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:391 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 in 0.000000 secs. formula_rewrite.k:711 formula_rewrite.k:711 formula_rewrite.k:711 (type SKEL/FNDP) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec (type SKEL/EQUN) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec (type SKEL/SRCH) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec formula_rewrite.k:711 (type SKEL/SRCH) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec 63 (type SKEL/SRCH) for Dekker-PT-050-CTLFireability-00 : true 5 4 0.000000 1 61 (type FNDP) for Dekker-PT-050-CTLFireability-00 (obsolete) 62 (type EQUN) for Dekker-PT-050-CTLFireability-00 (obsolete) 64 (type SRCH) for Dekker-PT-050-CTLFireability-00 (obsolete) 61 (type SKEL/FNDP) for Dekker-PT-050-CTLFireability-00 : true 3 1 0.000000 0 in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. removed,0 places removed file /home/mcc/execution/CTLFireability-62.sara. ordering is non-deterministic 62 (type SKEL/EQUN) for Dekker-PT-050-CTLFireability-00 : true in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. formula_rewrite.k:730 (type SKEL/SRCH) for 38 Dekker-PT-050-CTLFireability-10 32000000 sec 65 (type SKEL/SRCH) for Dekker-PT-050-CTLFireability-10 : true 6 6 0.000000 1 in 0.000000 secs. in 0.000000 secs. formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:810 formula_rewrite.k:814 formula_rewrite.k:811 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:812 formula_rewrite.k:814 formula_rewrite.k:809 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:812 (type EXCL) for 54 Dekker-PT-050-CTLFireability-14 formula_rewrite.k:734 formula_rewrite.k:787 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:812 formula_rewrite.k:813 formula_rewrite.k:810 formula_rewrite.k:815 formula_rewrite.k:807 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:809 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:806 formula_rewrite.k:730 formula_rewrite.k:814 formula_rewrite.k:813 formula_rewrite.k:808 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:807 formula_rewrite.k:806 formula_rewrite.k:814 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:811 formula_rewrite.k:711 formula_rewrite.k:812 formula_rewrite.k:814 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:815 formula_rewrite.k:815 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:703 formula_rewrite.k:711 formula_rewrite.k:711 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:812 (type FNDP) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec (type EQUN) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec formula_rewrite.k:711 (type SRCH) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec 70 (type SRCH) for Dekker-PT-050-CTLFireability-00 : unknown 0.000000 1 67 (type FNDP) for Dekker-PT-050-CTLFireability-00 : true 3 1 0.000000 0 68 (type EQUN) for Dekker-PT-050-CTLFireability-00 (obsolete) file /home/mcc/execution/CTLFireability-68.sara. ordering is non-deterministic 68 (type EQUN) for Dekker-PT-050-CTLFireability-00 : true VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-14 39966 m, 7993 m/sec, 2557941 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-14 123595 m, 16725 m/sec, 7749676 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-14 206595 m, 16600 m/sec, 12837953 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Dekker-PT-050-CTLFireability-14 289691 m, 16619 m/sec, 17918041 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Dekker-PT-050-CTLFireability-14 374079 m, 16877 m/sec, 23052239 t fired, . Pages in use: 2 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Dekker-PT-050-CTLFireability-14 452532 m, 15690 m/sec, 27810564 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Dekker-PT-050-CTLFireability-14 531436 m, 15780 m/sec, 32627796 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Dekker-PT-050-CTLFireability-14 613810 m, 16474 m/sec, 37619766 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Dekker-PT-050-CTLFireability-14 695893 m, 16416 m/sec, 42638259 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Dekker-PT-050-CTLFireability-14 777696 m, 16360 m/sec, 47573216 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Dekker-PT-050-CTLFireability-14 858857 m, 16232 m/sec, 52457048 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Dekker-PT-050-CTLFireability-14 940323 m, 16293 m/sec, 57540535 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Dekker-PT-050-CTLFireability-14 1018085 m, 15552 m/sec, 62787538 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Dekker-PT-050-CTLFireability-14 1096188 m, 15620 m/sec, 68219283 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Dekker-PT-050-CTLFireability-14 1171581 m, 15078 m/sec, 73487203 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Dekker-PT-050-CTLFireability-14 1247732 m, 15230 m/sec, 78898676 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Dekker-PT-050-CTLFireability-14 1325385 m, 15530 m/sec, 84029853 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Dekker-PT-050-CTLFireability-14 1399815 m, 14886 m/sec, 89283737 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Dekker-PT-050-CTLFireability-14 1482046 m, 16446 m/sec, 94635364 t fired, . Pages in use: 7 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Dekker-PT-050-CTLFireability-14 1557453 m, 15081 m/sec, 99725699 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Dekker-PT-050-CTLFireability-14 1635346 m, 15578 m/sec, 105064632 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Dekker-PT-050-CTLFireability-14 1714679 m, 15866 m/sec, 110409283 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Dekker-PT-050-CTLFireability-14 1790299 m, 15124 m/sec, 115474788 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Dekker-PT-050-CTLFireability-14 1870005 m, 15941 m/sec, 120692623 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Dekker-PT-050-CTLFireability-14 1945207 m, 15040 m/sec, 125782198 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Dekker-PT-050-CTLFireability-14 2022307 m, 15420 m/sec, 130844205 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Dekker-PT-050-CTLFireability-14 2097097 m, 14958 m/sec, 136002134 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Dekker-PT-050-CTLFireability-14 2171220 m, 14824 m/sec, 141181275 t fired, . Pages in use: 10 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 Dekker-PT-050-CTLFireability-14 2248173 m, 15390 m/sec, 146399968 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 Dekker-PT-050-CTLFireability-14 2326382 m, 15641 m/sec, 151534635 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Dekker-PT-050-CTLFireability-14 2410712 m, 16866 m/sec, 156607513 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Dekker-PT-050-CTLFireability-14 2487463 m, 15350 m/sec, 161797417 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Dekker-PT-050-CTLFireability-14 2564701 m, 15447 m/sec, 166945108 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Dekker-PT-050-CTLFireability-14 2639326 m, 14925 m/sec, 172004880 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Dekker-PT-050-CTLFireability-14 2713617 m, 14858 m/sec, 177072708 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Dekker-PT-050-CTLFireability-14 2791487 m, 15574 m/sec, 182331441 t fired, . Pages in use: 13 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Dekker-PT-050-CTLFireability-14 2870739 m, 15850 m/sec, 187330499 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Dekker-PT-050-CTLFireability-14 2947197 m, 15291 m/sec, 192458104 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Dekker-PT-050-CTLFireability-14 3024270 m, 15414 m/sec, 197538598 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 Dekker-PT-050-CTLFireability-14 3101354 m, 15416 m/sec, 202524506 t fired, . Pages in use: 15 Visible: 16 55 (type EXCL) for Dekker-PT-050-CTLFireability-14 (local timeout) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 1 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 15 Visible: 16 (type EXCL) for 57 Dekker-PT-050-CTLFireability-15 (type EXCL) for 54 Dekker-PT-050-CTLFireability-14 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Dekker-PT-050-CTLFireability-14 78240 m, -604622 m/sec, 4966186 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 5310 m, 1062 m/sec, 309215 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/5 Dekker-PT-050-CTLFireability-14 162073 m, 16766 m/sec, 10103824 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 12976 m, 1533 m/sec, 781405 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Dekker-PT-050-CTLFireability-14 245186 m, 16622 m/sec, 15207276 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 22628 m, 1930 m/sec, 1366872 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Dekker-PT-050-CTLFireability-14 328737 m, 16710 m/sec, 20308609 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 31165 m, 1707 m/sec, 1881558 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/5 Dekker-PT-050-CTLFireability-14 413433 m, 16939 m/sec, 25402611 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 39938 m, 1754 m/sec, 2405556 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Dekker-PT-050-CTLFireability-14 496074 m, 16528 m/sec, 30455398 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 46830 m, 1378 m/sec, 2816448 t fired, . Pages in use: 19 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Dekker-PT-050-CTLFireability-14 568619 m, 14509 m/sec, 34908238 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 56675 m, 1969 m/sec, 3407727 t fired, . Pages in use: 19 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/5 Dekker-PT-050-CTLFireability-14 623848 m, 11045 m/sec, 38232222 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 60369 m, 738 m/sec, 3627698 t fired, . Pages in use: 19 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Dekker-PT-050-CTLFireability-14 687884 m, 12807 m/sec, 42146593 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 64562 m, 838 m/sec, 3879639 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Dekker-PT-050-CTLFireability-14 729007 m, 8224 m/sec, 44643574 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 70276 m, 1142 m/sec, 4235079 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Dekker-PT-050-CTLFireability-14 769648 m, 8128 m/sec, 47086715 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 75125 m, 969 m/sec, 4528558 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Dekker-PT-050-CTLFireability-14 816518 m, 9374 m/sec, 49892650 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 79652 m, 905 m/sec, 4802671 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/5 Dekker-PT-050-CTLFireability-14 854326 m, 7561 m/sec, 52182986 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 83917 m, 853 m/sec, 5052821 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Dekker-PT-050-CTLFireability-14 912987 m, 11732 m/sec, 55706652 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 87792 m, 775 m/sec, 5284642 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Dekker-PT-050-CTLFireability-14 945169 m, 6436 m/sec, 57848498 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 90055 m, 452 m/sec, 5417156 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Dekker-PT-050-CTLFireability-14 976270 m, 6220 m/sec, 59974739 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 92620 m, 513 m/sec, 5565149 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Dekker-PT-050-CTLFireability-14 1005632 m, 5872 m/sec, 62050545 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 98573 m, 1190 m/sec, 5918732 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Dekker-PT-050-CTLFireability-14 1050800 m, 9033 m/sec, 65179244 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 101422 m, 569 m/sec, 6095430 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/5 Dekker-PT-050-CTLFireability-14 1081484 m, 6136 m/sec, 67155876 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 103208 m, 357 m/sec, 6201140 t fired, . Pages in use: 21 Visible: 16 55 (type EXCL) for Dekker-PT-050-CTLFireability-14 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 110357 m, 1429 m/sec, 6628523 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 114660 m, 860 m/sec, 6881630 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 119009 m, 869 m/sec, 7142921 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 123392 m, 876 m/sec, 7409729 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 129495 m, 1220 m/sec, 7781152 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 137193 m, 1539 m/sec, 8240714 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 145749 m, 1711 m/sec, 8747144 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 153651 m, 1580 m/sec, 9210806 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 159165 m, 1102 m/sec, 9542377 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 164534 m, 1073 m/sec, 9855506 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 174079 m, 1909 m/sec, 10403676 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 183294 m, 1843 m/sec, 10937247 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 188512 m, 1043 m/sec, 11254008 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 198332 m, 1964 m/sec, 11821210 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 204029 m, 1139 m/sec, 12146458 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 210683 m, 1330 m/sec, 12551604 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-15 217885 m, 1440 m/sec, 12968833 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Dekker-PT-050-CTLFireability-15 226671 m, 1757 m/sec, 13484324 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Dekker-PT-050-CTLFireability-15 234310 m, 1527 m/sec, 13927972 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Dekker-PT-050-CTLFireability-15 238876 m, 913 m/sec, 14190408 t fired, . Pages in use: 21 Visible: 16 58 (type EXCL) for Dekker-PT-050-CTLFireability-15 (local timeout) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 8 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 1 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 21 Visible: 16 (type EXCL) for 51 Dekker-PT-050-CTLFireability-13 bin//../BenchKit_head.sh: line 63: 375 Killed lola --conf=$BIN_DIR/configfiles/ctlfireabilityconf --formula=$DIR/CTLFireability.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="Dekker-PT-050"
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 Dekker-PT-050, 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 r134-smll-167819411700026"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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