MCC'2023- Execution of r294-tall-167873946600394

About the Execution of LoLA for PolyORBLF-COL-S04J04T06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4636.151	491839.00	478551.00	1253.00	?T??TFF?FF?FFT??	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r294-tal
Waiting for the VM to be ready (probing
..........................................
====================
Generated by BenchKit 2-5348
Executing tool lola
Input is PolyORBLF-COL-S04J04T06,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-tall-1678739466
==========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.5K Feb 26
-rw-r--r-- 1 mcc users 69K Feb 26
-rw-r--r-- 1 mcc users 5.3K Feb 26
-rw-r--r-- 1 mcc users 43K Feb 26
-rw-r--r-- 1 mcc users 4.2K Jan 29
-rw-r--r-- 1 mcc users 6.3K Jan 29
-rw-r--r-- 1 mcc users 3.9K Feb 25
-rw-r--r-- 1 mcc users 23K Feb 25
-rw-r--r-- 1 mcc users 2.5K Feb 25
-rw-r--r-- 1 mcc users 18K Feb 25
-rw-r--r-- 1 mcc users 13K Feb 26
-rw-r--r-- 1 mcc users 109K Feb 26
-rw-r--r-- 1 mcc users 9.0K Feb 26
-rw-r--r-- 1 mcc users 71K Feb 26
-rw-r--r-- 1 mcc users 1.9K Feb 25
-rw-r--r-- 1 mcc users 3.9K Feb 25
-rw-r--r-- 1 mcc users 5 Mar
-rw-r--r-- 1 mcc users 10 Mar
-rw-r--r-- 1 mcc users 5 Mar
-rw-r--r-- 1 mcc users 154K Mar

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

=== Data for post analysis generated

The expected result is a vector of
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi
FORMULA_NAME PolyORBLF-COL-S04J04T06-CTLFi

=== Now, execution of the tool begins

BK_START 1678849786158

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S04J04T06
Not applying reductions.
Model is COL
CTLFireability PT
[2023-03-15 03:09:47] [INFO ] Running
[2023-03-15 03:09:47] [INFO ] Parsing
[2023-03-15 03:09:47] [INFO ] Detected
log4j:WARN No appenders could be
log4j:WARN Please initialize the
log4j:WARN See http://logging.apache.org/l
[2023-03-15 03:09:48] [WARNING] Using
[2023-03-15 03:09:48] [INFO ] Load
[2023-03-15 03:09:48] [INFO ] Imported
Parsed 16 properties from file ./CTLFireability.xml
[2023-03-15 03:09:48] [INFO ] Unfolded
[2023-03-15 03:09:48] [INFO ] Unfolded
[2023-03-15 03:09:48] [INFO ] Reduced
Ensure Unique test removed 1626 transition
Reduce isomorphic transitions removed
[2023-03-15 03:09:48] [INFO ] Export
[2023-03-15 03:09:48] [INFO ] Export
Total runtime 1030 ms.
starting LoLA
BK_INPUT PolyORBLF-COL-S04J04T06
BK_EXAMINATION: CTLCardinality
bin directory: /home/mcc/BenchKit/bin//../
current directory: /home/mcc/execution/unf

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-12

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-09

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-01

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-13

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-11

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-05

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-04

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-06

FORMULA PolyORBLF-COL-S04J04T06-CTLFireability-08

BK_STOP 1678850277997

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/executi
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/executio
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/exe
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: RELEASE
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: RELEASE
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: RELEASE
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: LAUNCH task # 37 (type EXCL)
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: FINISHED task # 37 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 28 (type EXCL)
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: FINISHED task # 28 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: LAUNCH task # 45 (type EXCL)
lola: time limit : 256 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: LAUNCH task # 54 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: FINISHED task # 58 (type
lola: result : unknown
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 52 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: FINISHED task # 54 (type
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: FINISHED task # 52 (type
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: CANCELED task # 55 (type
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: rewrite Frontend/Parser/formula_re
lola: FINISHED task # 55 (type
lola: result : unknown
lola: FINISHED task # 45 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 47 (type EXCL)
lola: time limit : 298 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 3/298

Time elapsed: 17 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 8/298

Time elapsed: 22 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 13/298

Time elapsed: 27 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 18/298

Time elapsed: 32 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 23/298

Time elapsed: 37 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 28/298

Time elapsed: 42 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
47 CTL EXCL 33/298

Time elapsed: 47 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 47 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 52 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 34 (type EXCL)
lola: time limit : 322 sec
lola: memory limit: 32 pages
lola: FINISHED task # 34 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 31 (type EXCL)
lola: time limit : 354 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 57 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 62 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 67 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 72 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 77 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 82 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 87 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 92 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 97 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 102 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 107 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 60/354

Time elapsed: 112 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 31 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 117 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 22 (type EXCL)
lola: time limit : 387 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 122 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 127 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 132 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 137 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 142 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 147 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 152 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 22 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 157 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 16 (type EXCL)
lola: time limit : 430 sec
lola: memory limit: 32 pages
lola: FINISHED task # 16 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 13 (type EXCL)
lola: time limit : 491 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 7 (type EXCL)
lola: time limit : 573 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 5/573

Time elapsed: 162 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 10/573

Time elapsed: 167 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 15/573

Time elapsed: 172 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 20/573

Time elapsed: 177 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 25/573

Time elapsed: 182 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 30/573

Time elapsed: 187 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 7 (type EXCL)
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 192 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 681 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 197 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 202 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 207 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 20/681

Time elapsed: 212 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 25/681

Time elapsed: 217 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 30/681

Time elapsed: 222 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 35/681

Time elapsed: 227 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 40/681

Time elapsed: 232 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 45/681

Time elapsed: 237 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 50/681

Time elapsed: 242 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 55/681

Time elapsed: 247 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 1 (type EXCL)
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 252 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 50 (type EXCL)
lola: time limit : 837 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 5/837

Time elapsed: 257 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 10/837

Time elapsed: 262 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 15/837

Time elapsed: 267 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 20/837

Time elapsed: 272 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 25/837

Time elapsed: 277 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 30/837

Time elapsed: 282 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 35/837

Time elapsed: 287 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 40/837

Time elapsed: 292 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 45/837

Time elapsed: 297 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 50/837

Time elapsed: 302 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 55/837

Time elapsed: 307 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 60/837

Time elapsed: 312 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 65/837

Time elapsed: 317 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 70/837

Time elapsed: 322 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 75/837

Time elapsed: 327 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 80/837

Time elapsed: 332 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 85/837

Time elapsed: 337 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 90/837

Time elapsed: 342 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 95/837

Time elapsed: 347 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 100/837

Time elapsed: 352 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 105/837

Time elapsed: 357 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 111/837

Time elapsed: 363 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 116/837

Time elapsed: 368 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 121/837

Time elapsed: 373 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 126/837

Time elapsed: 378 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 131/837

Time elapsed: 383 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 136/837

Time elapsed: 388 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 141/837

Time elapsed: 393 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
50 EG EXCL 146/837

Time elapsed: 398 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 50 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 403 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 10 (type EXCL)
lola: time limit : 1065 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 5/1065

Time elapsed: 408 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 10/1065

Time elapsed: 413 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 15/1065

Time elapsed: 418 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 20/1065

Time elapsed: 423 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 25/1065

Time elapsed: 428 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 30/1065

Time elapsed: 433 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
10 CTL EXCL 35/1065

Time elapsed: 438 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 443 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 10 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 448 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 19 (type EXCL)
lola: time limit : 1576 sec
lola: memory limit: 32 pages
lola: FINISHED task # 19 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 25 (type EXCL)
lola: time limit : 3149 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 2/3149

Time elapsed: 453 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 7/3149

Time elapsed: 458 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 463 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 17/3149

Time elapsed: 468 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

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

Time elapsed: 473 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 27/3149

Time elapsed: 478 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 32/3149

Time elapsed: 483 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-01:
PolyORBLF-COL-S04J04T06-CTLFireability-04:
PolyORBLF-COL-S04J04T06-CTLFireability-05:
PolyORBLF-COL-S04J04T06-CTLFireability-06:
PolyORBLF-COL-S04J04T06-CTLFireability-09:
PolyORBLF-COL-S04J04T06-CTLFireability-11:
PolyORBLF-COL-S04J04T06-CTLFireability-12:
PolyORBLF-COL-S04J04T06-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-COL-S04J04T06-CTLFireability-00:
PolyORBLF-COL-S04J04T06-CTLFireability-02:
PolyORBLF-COL-S04J04T06-CTLFireability-03:
PolyORBLF-COL-S04J04T06-CTLFireability-07:
PolyORBLF-COL-S04J04T06-CTLFireability-08:
PolyORBLF-COL-S04J04T06-CTLFireability-10:
PolyORBLF-COL-S04J04T06-CTLFireability-14:
PolyORBLF-COL-S04J04T06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 37/3149

Time elapsed: 488 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 25 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished: no open

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

Time elapsed: 488 secs. Pages
l-167873946600394.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ssh) ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ================================================= examination is CTLFireability 00394 =========================== 14:19 CTLCardinality.txt 14:19 CTLCardinality.xml 14:17 CTLFireability.txt 14:17 CTLFireability.xml 11:40 GenericPropertiesDefinition.xml 11:40 GenericPropertiesVerdict.xml 16:34 LTLCardinality.txt 16:34 LTLCardinality.xml 16:34 LTLFireability.txt 16:34 LTLFireability.xml 14:32 ReachabilityCardinality.txt 14:32 ReachabilityCardinality.xml 14:30 ReachabilityFireability.txt 14:30 ReachabilityFireability.xml 16:34 UpperBounds.txt 16:34 UpperBounds.xml 5 18:23 equiv_pt 5 18:23 instance 5 18:23 iscolored 5 18:23 model.pnml by BenchKit (invocation template) booleans 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 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N its-tools with arguments : [-pnfolder, ., -examination, CTLFireability, --reduce-single, STATESPACE] pnml file : /home/mcc/execution/./model.pnml file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator). log4j system properly. og4j/1.2/faq.html#noconfig for more info. fallBack plugin, rng conformance not checked time of PNML (colored model parsed with PNMLFW) : 711 ms 81 HL places and 65 HL transitions for a total of 554 PT places and 3040.0 transition bindings in 20 ms. in 11 ms. HLPN to a Petri net with 554 places and 2998 transitions 20754 arcs in 82 ms. 16 HLPN properties in 1 ms. 36 identical enabling conditions. s 1626 transitions. to MCC of 16 properties in file ./CTLFireability.STATESPACE.xml took 21 ms. to PNML in file ./model.STATESPACE.pnml of net with 554 places, 1372 transitions and 6996 arcs took 13 ms. lola/bin/ CTLFireability FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT on/unfCTLFireability/model.pnml net n/unfCTLFireability/model.pnml cution/unfCTLFireability/CTLCardinality.xml write.k:454 write.k:547 write.k:394 write.k:253 write.k:317 write.k:325 write.k:337 write.k:322 write.k:334 write.k:322 write.k:331 write.k:296 write.k:296 write.k:317 write.k:296 write.k:296 write.k:253 write.k:547 write.k:547 write.k:325 write.k:337 write.k:296 write.k:296 write.k:547 write.k:394 write.k:547 write.k:454 write.k:547 write.k:478 write.k:317 write.k:322 write.k:328 write.k:296 write.k:314 write.k:322 write.k:328 write.k:296 write.k:322 write.k:331 write.k:322 write.k:328 write.k:296 write.k:388 write.k:322 write.k:328 write.k:296 write.k:253 write.k:253 write.k:253 write.k:253 write.k:253 write.k:253 write.k:250 write.k:451 write.k:325 write.k:331 write.k:296 write.k:388 write.k:322 write.k:337 write.k:325 write.k:334 write.k:296 write.k:296 write.k:250 write.k:550 write.k:550 write.k:314 write.k:296 write.k:314 write.k:325 write.k:328 write.k:296 write.k:296 write.k:388 write.k:397 write.k:553 write.k:553 write.k:547 write.k:397 write.k:322 write.k:337 write.k:296 write.k:296 write.k:544 write.k:397 write.k:322 write.k:337 write.k:296 write.k:296 write.k:391 write.k:553 write.k:553 write.k:553 write.k:448 write.k:460 places removed write.k:813 write.k:812 write.k:808 write.k:807 write.k:807 write.k:814 write.k:809 write.k:807 write.k:807 write.k:807 write.k:807 write.k:807 write.k:811 write.k:807 write.k:812 write.k:814 for 36 PolyORBLF-COL-S04J04T06-CTLFireability-12 write.k:807 write.k:812 write.k:812 write.k:812 write.k:811 write.k:809 write.k:813 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-12 1334 1337 0.000000 1 for 27 PolyORBLF-COL-S04J04T06-CTLFireability-09 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-09 332 339 0.000000 1 write.k:806 write.k:813 write.k:809 write.k:813 write.k:813 write.k:812 write.k:810 write.k:813 write.k:810 write.k:806 write.k:813 write.k:814 write.k:809 write.k:811 write.k:813 write.k:811 write.k:808 write.k:806 write.k:806 write.k:812 write.k:814 write.k:814 write.k:813 write.k:814 write.k:807 write.k:811 write.k:806 write.k:814 write.k:806 write.k:806 write.k:806 write.k:813 write.k:811 write.k:813 write.k:815 write.k:814 write.k:806 write.k:806 write.k:807 write.k:806 write.k:813 write.k:806 write.k:806 write.k:814 write.k:814 write.k:808 write.k:812 write.k:806 write.k:806 write.k:807 write.k:808 write.k:807 write.k:815 write.k:809 for 42 PolyORBLF-COL-S04J04T06-CTLFireability-14 write.k:711 write.k:711 write.k:711 write.k:711 write.k:711 write.k:711 for 39 PolyORBLF-COL-S04J04T06-CTLFireability-13 for 39 PolyORBLF-COL-S04J04T06-CTLFireability-13 for 39 PolyORBLF-COL-S04J04T06-CTLFireability-13 write.k:711 write.k:808 write.k:812 write.k:812 SRCH) for PolyORBLF-COL-S04J04T06-CTLFireability-13 13 12 0.000000 1 for 3 PolyORBLF-COL-S04J04T06-CTLFireability-01 write.k:813 write.k:812 write.k:810 write.k:808 FNDP) for PolyORBLF-COL-S04J04T06-CTLFireability-13 40 1 0.000000 0 FNDP) for PolyORBLF-COL-S04J04T06-CTLFireability-01 9 1 0.000000 0 write.k:806 write.k:806 write.k:806 EQUN) for PolyORBLF-COL-S04J04T06-CTLFireability-13 (obsolete) write.k:808 write.k:813 write.k:814 write.k:806 write.k:806 write.k:813 write.k:812 EQUN) for PolyORBLF-COL-S04J04T06-CTLFireability-13 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-14 30655 34143 0.000000 1 for 42 PolyORBLF-COL-S04J04T06-CTLFireability-14 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 492861 m, 98572 m/sec, 845033 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 1059416 m, 113311 m/sec, 2236805 t fired, . in use: 10 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 1560929 m, 100302 m/sec, 3628076 t fired, . in use: 15 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 2063506 m, 100515 m/sec, 5001497 t fired, . in use: 19 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 2542806 m, 95860 m/sec, 6380419 t fired, . in use: 23 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 3040823 m, 99603 m/sec, 7742996 t fired, . in use: 27 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 1 0 3 0 0 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 PolyORBLF-COL-S04J04T06-CTLFireability-14 3532427 m, 98320 m/sec, 9107547 t fired, . in use: 31 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-14 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 33 PolyORBLF-COL-S04J04T06-CTLFireability-11 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-11 24 24 0.000000 1 for 30 PolyORBLF-COL-S04J04T06-CTLFireability-10 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 306575 m, 61315 m/sec, 1253763 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 604654 m, 59615 m/sec, 2489453 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 899359 m, 58941 m/sec, 3720752 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 1189694 m, 58067 m/sec, 4939175 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 1479679 m, 57997 m/sec, 6159437 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 1766781 m, 57420 m/sec, 7372272 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 2053761 m, 57396 m/sec, 8586039 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 2338823 m, 57012 m/sec, 9796570 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 2622617 m, 56758 m/sec, 11006705 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 2905294 m, 56535 m/sec, 12214288 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 3184683 m, 55877 m/sec, 13415534 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 PolyORBLF-COL-S04J04T06-CTLFireability-10 3463373 m, 55738 m/sec, 14618914 t fired, . in use: 32 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-10 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 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 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 21 PolyORBLF-COL-S04J04T06-CTLFireability-07 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 607773 m, 121554 m/sec, 1251917 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 1142928 m, 107031 m/sec, 2502504 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 1643790 m, 100172 m/sec, 3733853 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 2131282 m, 97498 m/sec, 4962226 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 2609850 m, 95713 m/sec, 6179430 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 3083692 m, 94768 m/sec, 7390817 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-COL-S04J04T06-CTLFireability-07 3536812 m, 90624 m/sec, 8610995 t fired, . in use: 32 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 15 PolyORBLF-COL-S04J04T06-CTLFireability-05 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-05 19 19 0.000000 1 for 12 PolyORBLF-COL-S04J04T06-CTLFireability-04 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-04 935 936 0.000000 1 for 6 PolyORBLF-COL-S04J04T06-CTLFireability-02 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-COL-S04J04T06-CTLFireability-02 589928 m, 117985 m/sec, 1247823 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-COL-S04J04T06-CTLFireability-02 1139316 m, 109877 m/sec, 2444794 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-COL-S04J04T06-CTLFireability-02 1675134 m, 107163 m/sec, 3627007 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-COL-S04J04T06-CTLFireability-02 2202749 m, 105523 m/sec, 4809044 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-COL-S04J04T06-CTLFireability-02 2723177 m, 104085 m/sec, 5989595 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-COL-S04J04T06-CTLFireability-02 3235333 m, 102431 m/sec, 7172054 t fired, . in use: 32 for PolyORBLF-COL-S04J04T06-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 0 PolyORBLF-COL-S04J04T06-CTLFireability-00 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 473676 m, 94735 m/sec, 1439954 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 955481 m, 96361 m/sec, 2870790 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 1340317 m, 76967 m/sec, 4378676 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 1745474 m, 81031 m/sec, 5859943 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 2151017 m, 81108 m/sec, 7340549 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 2530756 m, 75947 m/sec, 8824382 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 2936550 m, 81158 m/sec, 10281027 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 3362400 m, 85170 m/sec, 11729328 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 3740429 m, 75605 m/sec, 13206881 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 4132049 m, 78324 m/sec, 14654561 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 PolyORBLF-COL-S04J04T06-CTLFireability-00 4524564 m, 78503 m/sec, 16119046 t fired, . in use: 32 for PolyORBLF-COL-S04J04T06-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 49 PolyORBLF-COL-S04J04T06-CTLFireability-15 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 153933 m, 30786 m/sec, 457508 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 305195 m, 30252 m/sec, 909636 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 456608 m, 30282 m/sec, 1360023 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 602207 m, 29119 m/sec, 1832064 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 754511 m, 30460 m/sec, 2285098 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 902938 m, 29685 m/sec, 2736724 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1048730 m, 29158 m/sec, 3203964 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1197527 m, 29759 m/sec, 3652472 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1346339 m, 29762 m/sec, 4096159 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1496175 m, 29967 m/sec, 4540819 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1640546 m, 28874 m/sec, 5000624 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1791913 m, 30273 m/sec, 5452373 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 1941812 m, 29979 m/sec, 5901499 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2088971 m, 29431 m/sec, 6361963 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2234599 m, 29125 m/sec, 6823707 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2380367 m, 29153 m/sec, 7286056 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2524906 m, 28907 m/sec, 7749931 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2666032 m, 28225 m/sec, 8209771 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2791789 m, 25151 m/sec, 8706637 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 2942048 m, 30051 m/sec, 9182728 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3088996 m, 29389 m/sec, 9648912 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3236081 m, 29417 m/sec, 10119181 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3377954 m, 28374 m/sec, 10601865 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3525645 m, 29538 m/sec, 11069800 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3673058 m, 29482 m/sec, 11535157 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3813324 m, 28053 m/sec, 12010778 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 3957929 m, 28921 m/sec, 12468249 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 4100618 m, 28537 m/sec, 12925151 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 PolyORBLF-COL-S04J04T06-CTLFireability-15 4240876 m, 28051 m/sec, 13392577 t fired, . in use: 32 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 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 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 9 PolyORBLF-COL-S04J04T06-CTLFireability-03 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 502965 m, 100593 m/sec, 1640233 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 983436 m, 96094 m/sec, 3251588 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 1450374 m, 93387 m/sec, 4851733 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 1903922 m, 90709 m/sec, 6459885 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 2343565 m, 87928 m/sec, 8091374 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 2776433 m, 86573 m/sec, 9730321 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 3216196 m, 87952 m/sec, 11349326 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-COL-S04J04T06-CTLFireability-03 3658354 m, 88431 m/sec, 12956432 t fired, . in use: 32 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-03 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 18 PolyORBLF-COL-S04J04T06-CTLFireability-06 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-06 298649 984654 3.000000 3 for 24 PolyORBLF-COL-S04J04T06-CTLFireability-08 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 172551 m, 34510 m/sec, 531357 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 585868 m, 82663 m/sec, 1847296 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 986659 m, 80158 m/sec, 3148889 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 1379180 m, 78504 m/sec, 4442253 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 1766507 m, 77465 m/sec, 5735128 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 2149917 m, 76682 m/sec, 7036580 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 2529980 m, 76012 m/sec, 8363019 t fired, . in use: 32 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 0 0 0 3 0 1 0 EG 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 PolyORBLF-COL-S04J04T06-CTLFireability-08 2877311 m, 69466 m/sec, 9581847 t fired, . in use: 32 EXCL) for PolyORBLF-COL-S04J04T06-CTLFireability-08 2877311 9581847 37.000000 24 tasks 16 VALUE PRODUCED BY CTL unknown AGGR EF true findpath CTL unknown AGGR CTL unknown AGGR CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL unknown AGGR CTL false CTL model checker CTL false CTL model checker CTL unknown AGGR CTL false CTL model checker CTL false CTL model checker EF true findpath CONJ unknown CONJ EG unknown AGGR in use: 32

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J04T06"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S04J04T06, 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 r294-tall-167873946600394"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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