MCC'2023- Execution of r135-smll-167819413300026

About the Execution of LoLa+red for Dekker-PT-050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16225.376	438239.00	515631.00	12962.70	[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 lolaxred
Input is Dekker-PT-050,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r135-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 1678267791261

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/b
BK_TIME_CONFINEMENT=3600
BK_INPUT=Dekker-PT-050
Applying reductions before
Invoking reducer
Running Version 202303021504
[2023-03-08 09:29:54] [INFO
[2023-03-08 09:29:54] [INFO
[2023-03-08 09:29:55] [INFO
[2023-03-08 09:29:55] [INFO
[2023-03-08 09:29:55] [INFO
[2023-03-08 09:29:55] [INFO
[2023-03-08 09:29:55] [INFO
Parsed 16 properties from
Support contains 141 out
Starting structural reductions
Applied a total of 0 rules
[2023-03-08 09:29:55] [INFO
// Phase 1: matrix 200
[2023-03-08 09:29:55] [INFO
[2023-03-08 09:29:56] [INFO
Discarding 49 places :
Implicit Place search using
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
Support contains 141 out
[2023-03-08 09:29:57] [INFO
[2023-03-08 09:29:57] [INFO
[2023-03-08 09:29:57] [INFO
Incomplete random walk after 10000
Incomplete Best-First random
Incomplete Best-First random
Incomplete Best-First random
Running SMT prover for
[2023-03-08 09:29:58] [INFO
// Phase 1: matrix 200
[2023-03-08 09:29:58] [INFO
[2023-03-08 09:29:59] [INFO
[2023-03-08 09:29:59] [INFO
[2023-03-08 09:29:59] [INFO
Fused 1 Parikh solutions
Parikh walk visited 0 properties
Successfully simplified
[2023-03-08 09:29:59] [INFO
[2023-03-08 09:29:59] [INFO
[2023-03-08 09:29:59] [INFO
Computed a total of 0 stabilizing
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:00] [INFO
[2023-03-08 09:30:00] [INFO
[2023-03-08 09:30:00] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:00] [INFO
[2023-03-08 09:30:00] [INFO
[2023-03-08 09:30:00] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:01] [INFO
[2023-03-08 09:30:01] [INFO
[2023-03-08 09:30:01] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:01] [INFO
[2023-03-08 09:30:01] [INFO
[2023-03-08 09:30:02] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:02] [INFO
[2023-03-08 09:30:02] [INFO
[2023-03-08 09:30:02] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:02] [INFO
[2023-03-08 09:30:02] [INFO
[2023-03-08 09:30:02] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:03] [INFO
[2023-03-08 09:30:03] [INFO
[2023-03-08 09:30:03] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:03] [INFO
[2023-03-08 09:30:03] [INFO
[2023-03-08 09:30:03] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:03] [INFO
[2023-03-08 09:30:03] [INFO
[2023-03-08 09:30:04] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:04] [INFO
[2023-03-08 09:30:04] [INFO
[2023-03-08 09:30:04] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:04] [INFO
[2023-03-08 09:30:04] [INFO
[2023-03-08 09:30:04] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:04] [INFO
[2023-03-08 09:30:05] [INFO
[2023-03-08 09:30:05] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:05] [INFO
[2023-03-08 09:30:05] [INFO
[2023-03-08 09:30:05] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:05] [INFO
[2023-03-08 09:30:05] [INFO
[2023-03-08 09:30:05] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
Starting structural reductions
Applied a total of 0 rules
Finished structural reductions
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
[2023-03-08 09:30:06] [INFO
Total runtime 12111 ms.
There are residual formulas
starting LoLA
BK_INPUT Dekker-PT-050
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKi
current directory: /home/mcc/exe
CTLFireability

BK_STOP 1678268229500

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/Be
+ PYTHONPATH=/home/mcc/BenchKit/
+ export LD_LIBRARY_PATH=/home/m
+ LD_LIBRARY_PATH=/home/mcc/Benc
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..
+ VERSION=202303021504
+ echo 'Running Version
+ /home/mcc/BenchKit/bin//../red
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: 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: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: Created skeleton
lola: RELEASE
lola: RELEASE
lola: Created skeleton
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: rewrite Frontend/Parser/
lola: LAUNCH task # 63
lola: time limit :
lola: memory limit: 5 pages
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: Rule S: 0 transitions
lola: Created skeleton
sara: try reading problem
lola: Created skeleton
sara: place or transition
lola: Created skeleton

lola: FINISHED task #
lola: result
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: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 27
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: LAUNCH task # 66
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 67
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 69
lola: time limit :
lola: memory limit: 5 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/
sara: try reading problem
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: CANCELED task #
lola: FINISHED task #
lola: result
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
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
27 CTL EXCL 2/199

Time elapsed: 8 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
27 CTL EXCL 7/199

Time elapsed: 13 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
27 CTL EXCL 12/199

Time elapsed: 18 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
27 CTL EXCL 17/199

Time elapsed: 23 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
27 CTL EXCL 22/199

Time elapsed: 28 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
27 CTL EXCL 27/199

Time elapsed: 33 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
27 CTL EXCL 32/199

Time elapsed: 38 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
27 CTL EXCL 37/199

Time elapsed: 43 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
27 CTL EXCL 42/199

Time elapsed: 48 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
27 CTL EXCL 47/199

Time elapsed: 53 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
27 CTL EXCL 52/199

Time elapsed: 58 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
27 CTL EXCL 57/199

Time elapsed: 63 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
27 CTL EXCL 62/199

Time elapsed: 68 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
27 CTL EXCL 67/199

Time elapsed: 73 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
27 CTL EXCL 72/199

Time elapsed: 78 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
27 CTL EXCL 78/199

Time elapsed: 84 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
27 CTL EXCL 83/199

Time elapsed: 89 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
27 CTL EXCL 88/199

Time elapsed: 94 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
27 CTL EXCL 93/199

Time elapsed: 99 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
27 CTL EXCL 98/199

Time elapsed: 104 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
27 CTL EXCL 103/199

Time elapsed: 109 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
27 CTL EXCL 108/199

Time elapsed: 114 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
27 CTL EXCL 113/199

Time elapsed: 119 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
27 CTL EXCL 118/199

Time elapsed: 124 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
27 CTL EXCL 123/199

Time elapsed: 129 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
27 CTL EXCL 128/199

Time elapsed: 134 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
27 CTL EXCL 133/199

Time elapsed: 139 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
27 CTL EXCL 138/199

Time elapsed: 144 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
27 CTL EXCL 143/199

Time elapsed: 149 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
27 CTL EXCL 148/199

Time elapsed: 154 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
27 CTL EXCL 153/199

Time elapsed: 159 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
27 CTL EXCL 158/199

Time elapsed: 164 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
27 CTL EXCL 163/199

Time elapsed: 169 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
27 CTL EXCL 168/199

Time elapsed: 174 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
27 CTL EXCL 173/199

Time elapsed: 179 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
27 CTL EXCL 178/199

Time elapsed: 184 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
27 CTL EXCL 183/199

Time elapsed: 189 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
27 CTL EXCL 188/199

Time elapsed: 194 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
27 CTL EXCL 193/199

Time elapsed: 199 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
27 CTL EXCL 198/199

Time elapsed: 204 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: 209 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 58
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 27
lola: time limit : 3391 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
27 CTL EXCL 5/3391
58 CTL EXCL 5/199

Time elapsed: 214 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
27 CTL EXCL 10/3391
58 CTL EXCL 10/188

Time elapsed: 219 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
27 CTL EXCL 15/3391
58 CTL EXCL 15/188

Time elapsed: 224 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
27 CTL EXCL 20/3391
58 CTL EXCL 20/188

Time elapsed: 229 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
27 CTL EXCL 25/3391
58 CTL EXCL 25/188

Time elapsed: 234 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
27 CTL EXCL 30/3391
58 CTL EXCL 30/188

Time elapsed: 239 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
27 CTL EXCL 35/3391
58 CTL EXCL 35/188

Time elapsed: 244 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
27 CTL EXCL 40/3391
58 CTL EXCL 40/188

Time elapsed: 249 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 45/188

Time elapsed: 254 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 50/199

Time elapsed: 259 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 55/199

Time elapsed: 264 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 60/199

Time elapsed: 269 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 65/199

Time elapsed: 274 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 70/199

Time elapsed: 279 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 75/199

Time elapsed: 284 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 80/199

Time elapsed: 289 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 85/199

Time elapsed: 294 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 90/199

Time elapsed: 299 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 95/199

Time elapsed: 304 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 100/199

Time elapsed: 309 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 105/199

Time elapsed: 314 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: 319 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: 324 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: 329 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: 334 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: 339 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: 344 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 55
lola: time limit : 203 sec
lola: memory limit: 32 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 4/203

Time elapsed: 349 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 9/203

Time elapsed: 354 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 14/203

Time elapsed: 359 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 19/203

Time elapsed: 364 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 24/203

Time elapsed: 369 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 29/203

Time elapsed: 374 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 34/203

Time elapsed: 379 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 39/203

Time elapsed: 384 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 44/203

Time elapsed: 389 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 49/203

Time elapsed: 394 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 54/203

Time elapsed: 399 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 59/203

Time elapsed: 404 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 64/203

Time elapsed: 409 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 69/203

Time elapsed: 415 secs.
# running tasks: 1 of 4
/home/mcc/BenchKit/bin//../reduc
t.r135-smll-167819413300026.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 167819413300026 ===================================== 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/ tool lola ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML] ] Parsing pnml file : /home/mcc/execution/model.pnml ] Load time of PNML (sax parser for PT used): 356 ms ] Transformed 250 places. ] Transformed 2600 transitions. ] Found NUPN structural information; ] Parsed PT model containing 250 places and 2600 transitions and 20100 arcs in 564 ms. file /home/mcc/execution/CTLFireability.xml in 14 ms. of 250 places. Attempting structural reductions. in LTL mode, iteration 0 : 250/250 places, 2600/2600 transitions. in 88 ms. Remains 250 /250 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. ] Flow matrix only has 200 transitions (discarded 2400 similar events) rows 250 cols ] Computed 150 place invariants in 29 ms ] Implicit Places using invariants in 721 ms returned [100, 103, 106, 109, 112, 115, 118, 121, 124, 127, 130, 133, 136, 139, 145, 148, 151, 154, 157, 160, 163, 166, 169, 172, 175, 178, 181, 184, 187, 190, 193, 196, 199, 202, 205, 208, 211, 214, 217, 220, 223, 226, 229, 232, 235, 238, 241, 244, 247] SMT only with invariants took 782 ms to find 49 implicit places. in LTL mode, iteration 1 : 201/250 places, 2600/2600 transitions. in 20 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 2 iterations and 893 ms. Remains : 201/250 places, 2600/2600 transitions. of 201 places after structural reductions. ] Flatten gal took : 499 ms ] Flatten gal took : 213 ms ] Input system was already deterministic with 2600 transitions. steps, including 2 resets, run finished after 804 ms. (steps per millisecond=12 ) properties (out of 75) seen :72 walk after 10001 steps, including 2 resets, run finished after 74 ms. (steps per millisecond=135 ) properties (out of 3) seen :0 walk after 10001 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 3) seen :1 walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 2) seen :1 1 properties. ] Flow matrix only has 200 transitions (discarded 2400 similar events) rows 201 cols ] Computed 101 place invariants in 5 ms ] [Real]Absence check using 100 positive place invariants in 38 ms returned sat ] [Real]Absence check using 100 positive and 1 generalized place invariants in 1 ms returned sat ] After 208ms SMT Verify possible using all constraints in real domain returned unsat :1 sat :0 to 0 different solutions. in 0 ms. 1 atomic propositions for a total of 16 simplifications. ] Flatten gal took : 153 ms ] Flatten gal took : 152 ms ] Input system was already deterministic with 2600 transitions. places and 0 stable transitions in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 53 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 54 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 102 ms ] Flatten gal took : 109 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 48 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 49 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 91 ms ] Flatten gal took : 103 ms ] Input system was already deterministic with 2600 transitions. in SI_CTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 239 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 241 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 85 ms ] Flatten gal took : 97 ms ] Input system was already deterministic with 2600 transitions. in SI_CTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 126 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 130 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 100 ms ] Flatten gal took : 104 ms ] Input system was already deterministic with 2600 transitions. in SI_CTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 100 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 101 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 90 ms ] Flatten gal took : 85 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 17 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 17 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 81 ms ] Flatten gal took : 93 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 16 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 17 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 79 ms ] Flatten gal took : 92 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 14 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 15 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 79 ms ] Flatten gal took : 92 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 14 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 15 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 76 ms ] Flatten gal took : 86 ms ] Input system was already deterministic with 2600 transitions. in SI_CTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 101 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 103 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 76 ms ] Flatten gal took : 87 ms ] Input system was already deterministic with 2600 transitions. in SI_CTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 105 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in SI_CTL mode , in 1 iterations and 106 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 85 ms ] Flatten gal took : 88 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 11 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 11 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 72 ms ] Flatten gal took : 87 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 14 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 14 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 77 ms ] Flatten gal took : 89 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 15 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 16 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 82 ms ] Flatten gal took : 95 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 11 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 13 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 73 ms ] Flatten gal took : 84 ms ] Input system was already deterministic with 2600 transitions. in LTL mode, iteration 0 : 201/201 places, 2600/2600 transitions. in 12 ms. Remains 201 /201 variables (removed 0) and now considering 2600/2600 (removed 0) transitions. in LTL mode , in 1 iterations and 13 ms. Remains : 201/201 places, 2600/2600 transitions. ] Flatten gal took : 72 ms ] Flatten gal took : 83 ms ] Input system was already deterministic with 2600 transitions. ] Flatten gal took : 83 ms ] Flatten gal took : 85 ms ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 8 ms. ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 201 places, 2600 transitions and 17601 arcs took 26 ms. that ITS could not solve within timeout t/bin//../reducer/bin//../../lola/bin/ cution/373 592 nchKit/itstools/pylibs itstools/pylibs cc/BenchKit/itstools/pylibs: hKit/itstools/pylibs: /reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar 202303021504' ucer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML (--pnmlnet) /home/mcc/execution/373/model.pnml place/transition net /home/mcc/execution/373/model.pnml (--xmlformula) from /home/mcc/execution/373/CTLFireability.xml 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:325 formula_rewrite.k:328 formula_rewrite.k:314 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:451 formula_rewrite.k:250 formula_rewrite.k:550 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: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:317 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:547 formula_rewrite.k:317 formula_rewrite.k:314 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:334 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:397 formula_rewrite.k:553 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:250 in 0.000000 secs. in 0.000000 secs. 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 formula_rewrite.k:711 (type SKEL/SRCH) for 0 Dekker-PT-050-CTLFireability-00 32000000 sec (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 1.000000 secs. removed,0 places removed in 0.000000 secs. file /home/mcc/execution/373/CTLFireability-62.sara. in 0.000000 secs. ordering is non-deterministic in 0.000000 secs. 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. formula_rewrite.k:814 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:814 formula_rewrite.k:809 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:812 (type EXCL) for 26 Dekker-PT-050-CTLFireability-06 formula_rewrite.k:813 formula_rewrite.k:814 formula_rewrite.k:808 formula_rewrite.k:806 formula_rewrite.k:814 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:730 formula_rewrite.k:703 formula_rewrite.k:808 formula_rewrite.k:809 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:811 formula_rewrite.k:814 formula_rewrite.k:810 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:815 formula_rewrite.k:807 formula_rewrite.k:734 formula_rewrite.k:787 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:711 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:813 formula_rewrite.k:807 formula_rewrite.k:711 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:811 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:711 formula_rewrite.k:815 formula_rewrite.k:815 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:813 (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 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:810 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:807 file /home/mcc/execution/373/CTLFireability-67.sara. formula_rewrite.k:811 formula_rewrite.k:806 66 (type FNDP) for Dekker-PT-050-CTLFireability-00 : true 3 1 0.000000 0 67 (type EQUN) for Dekker-PT-050-CTLFireability-00 (obsolete) 69 (type SRCH) for Dekker-PT-050-CTLFireability-00 (obsolete) 67 (type EQUN) for Dekker-PT-050-CTLFireability-00 : unknown 69 (type SRCH) for Dekker-PT-050-CTLFireability-00 : unknown 0.000000 1 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 62461 m, 12492 m/sec, 456457 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 224946 m, 32497 m/sec, 1754127 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 387146 m, 32440 m/sec, 3076265 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 544428 m, 31456 m/sec, 4300269 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 700876 m, 31289 m/sec, 5606625 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 857464 m, 31317 m/sec, 6901280 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1014628 m, 31432 m/sec, 8186013 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1175496 m, 32173 m/sec, 9464850 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1328889 m, 30678 m/sec, 10771609 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1477956 m, 29813 m/sec, 12084419 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1634806 m, 31370 m/sec, 13359471 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1789364 m, 30911 m/sec, 14677025 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1947924 m, 31712 m/sec, 15991981 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 2111663 m, 32747 m/sec, 17273263 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 2269004 m, 31468 m/sec, 18580325 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 2421898 m, 30578 m/sec, 19885427 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 2571704 m, 29961 m/sec, 21195989 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 2727650 m, 31189 m/sec, 22514256 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 2875624 m, 29594 m/sec, 23859259 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 3026298 m, 30134 m/sec, 25181375 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 3183440 m, 31428 m/sec, 26469057 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 3338482 m, 31008 m/sec, 27783528 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 3492000 m, 30703 m/sec, 29096057 t fired, . Pages in use: 15 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 3643742 m, 30348 m/sec, 30403265 t fired, . Pages in use: 15 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 Dekker-PT-050-CTLFireability-06 3803350 m, 31921 m/sec, 31690559 t fired, . Pages in use: 16 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 Dekker-PT-050-CTLFireability-06 3953762 m, 30082 m/sec, 32966155 t fired, . Pages in use: 16 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 Dekker-PT-050-CTLFireability-06 4105988 m, 30445 m/sec, 34224662 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Dekker-PT-050-CTLFireability-06 4265196 m, 31841 m/sec, 35461090 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Dekker-PT-050-CTLFireability-06 4414428 m, 29846 m/sec, 36741740 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Dekker-PT-050-CTLFireability-06 4556065 m, 28327 m/sec, 37964562 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Dekker-PT-050-CTLFireability-06 4695732 m, 27933 m/sec, 39158746 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Dekker-PT-050-CTLFireability-06 4841468 m, 29147 m/sec, 40403671 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Dekker-PT-050-CTLFireability-06 4978214 m, 27349 m/sec, 41644093 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 Dekker-PT-050-CTLFireability-06 5126332 m, 29623 m/sec, 42946040 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Dekker-PT-050-CTLFireability-06 5276972 m, 30128 m/sec, 44200771 t fired, . Pages in use: 22 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Dekker-PT-050-CTLFireability-06 5420096 m, 28624 m/sec, 45486289 t fired, . Pages in use: 22 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Dekker-PT-050-CTLFireability-06 5561808 m, 28342 m/sec, 46769702 t fired, . Pages in use: 23 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Dekker-PT-050-CTLFireability-06 5700056 m, 27649 m/sec, 48061688 t fired, . Pages in use: 23 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Dekker-PT-050-CTLFireability-06 5845338 m, 29056 m/sec, 49306691 t fired, . Pages in use: 24 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Dekker-PT-050-CTLFireability-06 5986746 m, 28281 m/sec, 50598365 t fired, . Pages in use: 25 Visible: 16 27 (type EXCL) for Dekker-PT-050-CTLFireability-06 (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 0 0 0 1 1 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 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 25 Visible: 16 (type EXCL) for 57 Dekker-PT-050-CTLFireability-15 (type EXCL) for 26 Dekker-PT-050-CTLFireability-06 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 150046 m, -1167340 m/sec, 1138998 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 120847 m, 24169 m/sec, 911297 t fired, . Pages in use: 27 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 304428 m, 30876 m/sec, 2374491 t fired, . 1/32 Dekker-PT-050-CTLFireability-15 242175 m, 24265 m/sec, 1887005 t fired, . Pages in use: 28 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 457874 m, 30689 m/sec, 3645313 t fired, . 3/32 Dekker-PT-050-CTLFireability-15 523913 m, 56347 m/sec, 3744929 t fired, . Pages in use: 30 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 606168 m, 29658 m/sec, 4796543 t fired, . 3/32 Dekker-PT-050-CTLFireability-15 729345 m, 41086 m/sec, 5670957 t fired, . Pages in use: 31 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 753028 m, 29372 m/sec, 6055547 t fired, . 5/32 Dekker-PT-050-CTLFireability-15 1113924 m, 76915 m/sec, 7693963 t fired, . Pages in use: 34 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 903844 m, 30163 m/sec, 7302824 t fired, . 6/32 Dekker-PT-050-CTLFireability-15 1477555 m, 72726 m/sec, 9664245 t fired, . Pages in use: 35 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1059310 m, 31093 m/sec, 8518612 t fired, . 8/32 Dekker-PT-050-CTLFireability-15 1868835 m, 78256 m/sec, 11671539 t fired, . Pages in use: 38 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 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-06 1209726 m, 30083 m/sec, 9759133 t fired, . 9/32 Dekker-PT-050-CTLFireability-15 2214153 m, 69063 m/sec, 13593817 t fired, . Pages in use: 39 Visible: 16 27 (type EXCL) for Dekker-PT-050-CTLFireability-06 (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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 Dekker-PT-050-CTLFireability-15 2582955 m, 73760 m/sec, 15571876 t fired, . Pages in use: 40 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Dekker-PT-050-CTLFireability-15 2919654 m, 67339 m/sec, 17428197 t fired, . Pages in use: 40 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Dekker-PT-050-CTLFireability-15 3275205 m, 71110 m/sec, 19534380 t fired, . Pages in use: 40 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 Dekker-PT-050-CTLFireability-15 3671625 m, 79284 m/sec, 21643990 t fired, . Pages in use: 40 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 Dekker-PT-050-CTLFireability-15 4080967 m, 81868 m/sec, 23728598 t fired, . Pages in use: 42 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Dekker-PT-050-CTLFireability-15 4469981 m, 77802 m/sec, 25884378 t fired, . Pages in use: 43 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Dekker-PT-050-CTLFireability-15 4823258 m, 70655 m/sec, 27831135 t fired, . Pages in use: 45 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 Dekker-PT-050-CTLFireability-15 5089789 m, 53306 m/sec, 29302559 t fired, . Pages in use: 46 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Dekker-PT-050-CTLFireability-15 5338987 m, 49839 m/sec, 30840965 t fired, . Pages in use: 47 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Dekker-PT-050-CTLFireability-15 5635268 m, 59256 m/sec, 32572010 t fired, . Pages in use: 48 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Dekker-PT-050-CTLFireability-15 5925315 m, 58009 m/sec, 34292016 t fired, . Pages in use: 49 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 Dekker-PT-050-CTLFireability-15 6231328 m, 61202 m/sec, 36032023 t fired, . Pages in use: 51 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 Dekker-PT-050-CTLFireability-15 6463594 m, 46453 m/sec, 37379263 t fired, . Pages in use: 51 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 Dekker-PT-050-CTLFireability-15 6768045 m, 60890 m/sec, 38995315 t fired, . Pages in use: 53 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 Dekker-PT-050-CTLFireability-15 7032719 m, 52934 m/sec, 40485331 t fired, . Pages in use: 54 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Dekker-PT-050-CTLFireability-15 7273679 m, 48192 m/sec, 41863675 t fired, . Pages in use: 55 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 Dekker-PT-050-CTLFireability-15 7607023 m, 66668 m/sec, 43736085 t fired, . Pages in use: 56 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Dekker-PT-050-CTLFireability-15 7826937 m, 43982 m/sec, 44919375 t fired, . Pages in use: 57 Visible: 16 58 (type EXCL) for Dekker-PT-050-CTLFireability-15 (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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 57 Visible: 16 (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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 Dekker-PT-050-CTLFireability-14 178873 m, 35774 m/sec, 1560858 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 Dekker-PT-050-CTLFireability-14 380791 m, 40383 m/sec, 3402804 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 Dekker-PT-050-CTLFireability-14 580787 m, 39999 m/sec, 5172409 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Dekker-PT-050-CTLFireability-14 770480 m, 37938 m/sec, 6970577 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Dekker-PT-050-CTLFireability-14 946397 m, 35183 m/sec, 8591593 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Dekker-PT-050-CTLFireability-14 1143989 m, 39518 m/sec, 10349436 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Dekker-PT-050-CTLFireability-14 1331211 m, 37444 m/sec, 12123389 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Dekker-PT-050-CTLFireability-14 1511647 m, 36087 m/sec, 13886663 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Dekker-PT-050-CTLFireability-14 1705229 m, 38716 m/sec, 15647101 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Dekker-PT-050-CTLFireability-14 1867331 m, 32420 m/sec, 17177060 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Dekker-PT-050-CTLFireability-14 2044171 m, 35368 m/sec, 18807484 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Dekker-PT-050-CTLFireability-14 2234807 m, 38127 m/sec, 20512458 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Dekker-PT-050-CTLFireability-14 2399298 m, 32898 m/sec, 22085699 t fired, . Pages in use: 57 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 Dekker-PT-050-CTLFireability-14 2532912 m, 26722 m/sec, 23402315 t fired, . Pages in use: 57 Visible: 16 er/bin//../../lola/bin//../BenchKit_head.sh: line 63: 463 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="lolaxred"
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 lolaxred"
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 r135-smll-167819413300026"
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 ;