MCC'2023- Execution of r294-tall-167873946700506

About the Execution of LoLA for PolyORBLF-PT-S02J04T10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3316.756	728244.00	722179.00	1400.30	TF?T?T?F?FT?FF??	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-ta
Waiting for the VM to be ready (probing
.........................................
===================
Generated by BenchKit 2-5348
Executing tool lola
Input is PolyORBLF-PT-S02J04T10,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r294-tall-167873946
=========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 19K Feb
-rw-r--r-- 1 mcc users 100K Feb
-rw-r--r-- 1 mcc users 25K Feb
-rw-r--r-- 1 mcc users 139K Feb
-rw-r--r-- 1 mcc users 4.2K Jan
-rw-r--r-- 1 mcc users 6.3K Jan
-rw-r--r-- 1 mcc users 9.9K Feb
-rw-r--r-- 1 mcc users 41K Feb
-rw-r--r-- 1 mcc users 9.9K Feb
-rw-r--r-- 1 mcc users 43K Feb
-rw-r--r-- 1 mcc users 54K Feb
-rw-r--r-- 1 mcc users 249K Feb
-rw-r--r-- 1 mcc users 65K Feb
-rw-r--r-- 1 mcc users 329K Feb
-rw-r--r-- 1 mcc users 2.7K Feb
-rw-r--r-- 1 mcc users 5.6K Feb
-rw-r--r-- 1 mcc users 5 Mar
-rw-r--r-- 1 mcc users 10 Mar
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 906K Mar

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

=== Data for post analysis generated

The expected result is a vector
BOOL_VECTOR

here is the order used to build
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLFi

=== Now, execution of the tool begins

BK_START 1678887891939

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-PT-S02J04T10
Not applying reductions.
Model is PT
CTLFireability PT
starting LoLA
BK_INPUT PolyORBLF-PT-S02J04T10
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin//..
current directory: /home/mcc/execution
CTLFireability
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
check_solution: Constraint R8 =
check_solution: Constraint R9 =
check_solution: Constraint R46 =
check_solution: Constraint R92 =
check_solution: Constraint R93 =
check_solution: Constraint R105 =
check_solution: Constraint R106 =
check_solution: Constraint R107 =
check_solution: Constraint R108 =
check_solution: Constraint R109 =

Seriously low accuracy found ||*||

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-13

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-12

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-10

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-09

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-07

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-03

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-01

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-00

FORMULA PolyORBLF-PT-S02J04T10-CTLFireability-05

BK_STOP 1678888620183

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execut
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/executi
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/ex
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: RELEASE
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: LAUNCH task # 71 (type EXCL)
lola: time limit : 167 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: LAUNCH task # 65 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 67 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_r
lola: LAUNCH task # 73 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: FINISHED task # 73 (type
lola: result : unknown
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 68 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: FINISHED task # 68 (type
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
sara: try reading problem file /home/mcc/
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
sara: place or transition ordering
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: rewrite Frontend/Parser/formula_r
lola: FINISHED task # 65 (type
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 67 (type
lola: FINISHED task # 67 (type
lola: result : unknown
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 4/197

Time elapsed: 253 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 9/197

Time elapsed: 258 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 14/197

Time elapsed: 263 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 19/197

Time elapsed: 268 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 24/197

Time elapsed: 273 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 29/197

Time elapsed: 278 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 34/197

Time elapsed: 283 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 39/197

Time elapsed: 288 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 44/197

Time elapsed: 293 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 49/197

Time elapsed: 298 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 54/197

Time elapsed: 303 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 59/197

Time elapsed: 308 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 64/197

Time elapsed: 313 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 69/197

Time elapsed: 318 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 74/197

Time elapsed: 323 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 79/197

Time elapsed: 328 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 84/197

Time elapsed: 333 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 89/197

Time elapsed: 338 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 94/197

Time elapsed: 343 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 99/197

Time elapsed: 348 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 104/197

Time elapsed: 353 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 109/197

Time elapsed: 358 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 114/197

Time elapsed: 363 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 119/197

Time elapsed: 368 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 124/197

Time elapsed: 373 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 129/197

Time elapsed: 378 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
71 LTL EXCL 134/197

Time elapsed: 383 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 71 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 388 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 62 (type EXCL)
lola: time limit : 200 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 5/200

Time elapsed: 393 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 10/200

Time elapsed: 398 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
62 CTL EXCL 15/200

Time elapsed: 403 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 62 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 408 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 45 (type EXCL)
lola: time limit : 212 sec
lola: memory limit: 32 pages
lola: FINISHED task # 45 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 39 (type EXCL)
lola: time limit : 227 sec
lola: memory limit: 32 pages
lola: FINISHED task # 39 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 36 (type EXCL)
lola: time limit : 245 sec
lola: memory limit: 32 pages
lola: FINISHED task # 36 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 33 (type EXCL)
lola: time limit : 265 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 4/265

Time elapsed: 413 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 9/265

Time elapsed: 418 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 14/265

Time elapsed: 423 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 19/265

Time elapsed: 428 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 24/265

Time elapsed: 433 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 33 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 438 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 30 (type EXCL)
lola: time limit : 287 sec
lola: memory limit: 32 pages
lola: FINISHED task # 30 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 27 (type EXCL)
lola: time limit : 316 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 5/316

Time elapsed: 443 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 10/316

Time elapsed: 448 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 15/316

Time elapsed: 453 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 20/316

Time elapsed: 458 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

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

Time elapsed: 463 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 30/316

Time elapsed: 468 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 27 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 473 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 18 (type EXCL)
lola: time limit : 347 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 5/347

Time elapsed: 478 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 10/347

Time elapsed: 483 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 15/347

Time elapsed: 488 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 20/347

Time elapsed: 493 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 25/347

Time elapsed: 498 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 30/347

Time elapsed: 503 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 35/347

Time elapsed: 508 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 40/347

Time elapsed: 513 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 45/347

Time elapsed: 518 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
18 CTL EXCL 50/347

Time elapsed: 523 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 18 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 12 (type EXCL)
lola: time limit : 384 sec
lola: memory limit: 32 pages
lola: FINISHED task # 12 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 9 (type EXCL)
lola: time limit : 439 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
9 CTL EXCL 2/439

Time elapsed: 528 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
9 CTL EXCL 7/439

Time elapsed: 533 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
9 CTL EXCL 12/439

Time elapsed: 538 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
9 CTL EXCL 17/439

Time elapsed: 543 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 9 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 548 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 7 (type EXCL)
lola: time limit : 508 sec
lola: memory limit: 32 pages
lola: FINISHED task # 7 (type
lola: result : false
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 3 (type EXCL)
lola: time limit : 610 sec
lola: memory limit: 32 pages
lola: FINISHED task # 3 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 24 (type EXCL)
lola: time limit : 763 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 5/763

Time elapsed: 553 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 10/763

Time elapsed: 558 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 15/763

Time elapsed: 563 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 20/763

Time elapsed: 568 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 25/763

Time elapsed: 573 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 30/763

Time elapsed: 578 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 35/763

Time elapsed: 583 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
24 EG EXCL 40/763

Time elapsed: 588 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 24 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 21 (type EXCL)
lola: time limit : 1003 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 AGEF EXCL 3/1003

Time elapsed: 593 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 AGEF EXCL 9/1003

Time elapsed: 599 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 AGEF EXCL 14/1003

Time elapsed: 604 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
21 AGEF EXCL 19/1003

Time elapsed: 609 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 21 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 614 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 42 (type EXCL)
lola: time limit : 1493 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 5/1493

Time elapsed: 619 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 10/1493

Time elapsed: 624 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 15/1493

Time elapsed: 629 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 20/1493

Time elapsed: 634 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 25/1493

Time elapsed: 639 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 30/1493

Time elapsed: 644 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 42 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 649 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 59 (type EXCL)
lola: time limit : 2951 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 5/2951

Time elapsed: 654 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 10/2951

Time elapsed: 659 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 15/2951

Time elapsed: 664 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 20/2951

Time elapsed: 669 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 25/2951

Time elapsed: 674 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 30/2951

Time elapsed: 679 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 35/2951

Time elapsed: 684 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 40/2951

Time elapsed: 689 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 45/2951

Time elapsed: 694 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 50/2951

Time elapsed: 699 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 55/2951

Time elapsed: 704 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 60/2951

Time elapsed: 709 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 65/2951

Time elapsed: 714 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 70/2951

Time elapsed: 719 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
59 CTL EXCL 75/2951

Time elapsed: 724 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 59 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-00:
PolyORBLF-PT-S02J04T10-CTLFireability-01:
PolyORBLF-PT-S02J04T10-CTLFireability-03:
PolyORBLF-PT-S02J04T10-CTLFireability-05:
PolyORBLF-PT-S02J04T10-CTLFireability-07:
PolyORBLF-PT-S02J04T10-CTLFireability-09:
PolyORBLF-PT-S02J04T10-CTLFireability-10:
PolyORBLF-PT-S02J04T10-CTLFireability-12:
PolyORBLF-PT-S02J04T10-CTLFireability-13:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J04T10-CTLFireability-02: SP ECTL
PolyORBLF-PT-S02J04T10-CTLFireability-04:
PolyORBLF-PT-S02J04T10-CTLFireability-06:
PolyORBLF-PT-S02J04T10-CTLFireability-08:
PolyORBLF-PT-S02J04T10-CTLFireability-11:
PolyORBLF-PT-S02J04T10-CTLFireability-14:
PolyORBLF-PT-S02J04T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 729 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: Portfolio finished: no open

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

Time elapsed: 729 secs. Pages
ll-167873946700506.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 700506 ============================ 26 13:58 CTLCardinality.txt 26 13:58 CTLCardinality.xml 26 13:56 CTLFireability.txt 26 13:56 CTLFireability.xml 29 11:40 GenericPropertiesDefinition.xml 29 11:40 GenericPropertiesVerdict.xml 25 16:34 LTLCardinality.txt 25 16:34 LTLCardinality.xml 25 16:34 LTLFireability.txt 25 16:34 LTLFireability.xml 26 14:04 ReachabilityCardinality.txt 26 14:04 ReachabilityCardinality.xml 26 14:02 ReachabilityFireability.txt 26 14:02 ReachabilityFireability.xml 25 16:34 UpperBounds.txt 25 16:34 UpperBounds.xml 5 18:23 equiv_col 5 18:23 instance 5 18:23 iscolored 5 18:23 model.pnml by BenchKit (invocation template) of booleans the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N /lola/bin/ 17878 and 2019 nodes. 21693 and 2104 nodes. 27849 and 2645 nodes. 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 0 is above its equality of -1 = 10 (rel. error 1) 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 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 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 ion/model.pnml net on/model.pnml ecution/CTLFireability.xml ewrite.k:253 ewrite.k:553 ewrite.k:553 ewrite.k:550 ewrite.k:550 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:253 ewrite.k:317 ewrite.k:296 ewrite.k:317 ewrite.k:322 ewrite.k:340 ewrite.k:299 ewrite.k:299 ewrite.k:296 ewrite.k:397 ewrite.k:253 ewrite.k:448 ewrite.k:547 ewrite.k:454 ewrite.k:400 ewrite.k:451 ewrite.k:325 ewrite.k:331 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:457 ewrite.k:317 ewrite.k:325 ewrite.k:334 ewrite.k:296 ewrite.k:296 ewrite.k:553 ewrite.k:553 ewrite.k:96 ewrite.k:116 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:117 ewrite.k:179 ewrite.k:150 ewrite.k:281 ewrite.k:448 ewrite.k:168 ewrite.k:400 ewrite.k:314 ewrite.k:325 ewrite.k:334 ewrite.k:325 ewrite.k:334 ewrite.k:296 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:317 ewrite.k:322 ewrite.k:337 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:296 ewrite.k:296 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:317 ewrite.k:322 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:322 ewrite.k:340 ewrite.k:299 ewrite.k:299 ewrite.k:325 ewrite.k:334 ewrite.k:296 ewrite.k:547 ewrite.k:322 ewrite.k:331 ewrite.k:314 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:325 ewrite.k:334 ewrite.k:296 ewrite.k:253 ewrite.k:96 ewrite.k:132 ewrite.k:454 ewrite.k:121 ewrite.k:314 ewrite.k:322 ewrite.k:331 ewrite.k:317 ewrite.k:296 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:253 ewrite.k:325 ewrite.k:331 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:314 ewrite.k:317 ewrite.k:325 ewrite.k:337 ewrite.k:322 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:296 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:96 ewrite.k:121 ewrite.k:96 ewrite.k:179 ewrite.k:147 ewrite.k:162 ewrite.k:147 ewrite.k:121 ewrite.k:388 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:322 ewrite.k:337 ewrite.k:322 ewrite.k:340 ewrite.k:299 ewrite.k:325 ewrite.k:334 ewrite.k:299 ewrite.k:296 secs. secs. secs. secs. secs. secs. secs. secs. secs. secs. secs. secs. places removed secs. secs. secs. secs. secs. secs. secs. secs. ewrite.k:806 ewrite.k:813 ewrite.k:813 ewrite.k:721 ewrite.k:787 ewrite.k:721 ewrite.k:787 ewrite.k:703 ewrite.k:659 ewrite.k:661 ewrite.k:666 ewrite.k:674 ewrite.k:666 ewrite.k:659 ewrite.k:663 ewrite.k:668 ewrite.k:668 ewrite.k:674 ewrite.k:679 ewrite.k:679 ewrite.k:807 for 14 PolyORBLF-PT-S02J04T10-CTLFireability-02 ewrite.k:721 ewrite.k:787 ewrite.k:721 ewrite.k:787 ewrite.k:806 ewrite.k:812 ewrite.k:812 ewrite.k:809 ewrite.k:809 ewrite.k:812 ewrite.k:811 ewrite.k:811 ewrite.k:811 ewrite.k:808 ewrite.k:809 ewrite.k:814 ewrite.k:808 ewrite.k:806 ewrite.k:812 ewrite.k:812 ewrite.k:813 ewrite.k:812 ewrite.k:814 for 47 PolyORBLF-PT-S02J04T10-CTLFireability-13 for 47 PolyORBLF-PT-S02J04T10-CTLFireability-13 ewrite.k:721 for 47 PolyORBLF-PT-S02J04T10-CTLFireability-13 ewrite.k:787 ewrite.k:721 ewrite.k:787 ewrite.k:721 ewrite.k:787 ewrite.k:812 ewrite.k:807 ewrite.k:807 ewrite.k:808 ewrite.k:807 ewrite.k:807 ewrite.k:811 ewrite.k:810 ewrite.k:815 ewrite.k:806 ewrite.k:806 ewrite.k:815 ewrite.k:811 ewrite.k:807 ewrite.k:813 ewrite.k:814 SRCH) for PolyORBLF-PT-S02J04T10-CTLFireability-13 3 2 0.000000 1 for 47 PolyORBLF-PT-S02J04T10-CTLFireability-13 ewrite.k:806 ewrite.k:812 ewrite.k:806 ewrite.k:815 ewrite.k:812 ewrite.k:808 ewrite.k:815 ewrite.k:808 ewrite.k:813 ewrite.k:809 FNDP) for PolyORBLF-PT-S02J04T10-CTLFireability-13 155 1 0.000000 0 execution/CTLFireability-67.sara. ewrite.k:806 ewrite.k:811 ewrite.k:808 ewrite.k:807 ewrite.k:808 ewrite.k:809 ewrite.k:806 ewrite.k:807 ewrite.k:813 ewrite.k:810 ewrite.k:810 ewrite.k:809 ewrite.k:807 ewrite.k:814 ewrite.k:812 ewrite.k:806 ewrite.k:807 ewrite.k:807 ewrite.k:806 ewrite.k:813 ewrite.k:812 ewrite.k:808 ewrite.k:811 ewrite.k:813 ewrite.k:812 ewrite.k:808 ewrite.k:814 ewrite.k:812 ewrite.k:806 ewrite.k:806 is non-deterministic ewrite.k:813 ewrite.k:811 ewrite.k:806 ewrite.k:812 ewrite.k:809 ewrite.k:810 ewrite.k:811 FNDP) for PolyORBLF-PT-S02J04T10-CTLFireability-13 23480 1 0.000000 0 EQUN) for PolyORBLF-PT-S02J04T10-CTLFireability-13 (obsolete) EQUN) for PolyORBLF-PT-S02J04T10-CTLFireability-13 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 72477 m, 14495 m/sec, 82492 t fired, . in use: 2 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 172114 m, 19927 m/sec, 199257 t fired, . in use: 3 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 271454 m, 19868 m/sec, 318224 t fired, . in use: 4 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 372011 m, 20111 m/sec, 435302 t fired, . in use: 5 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 469860 m, 19569 m/sec, 554951 t fired, . in use: 6 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 569413 m, 19910 m/sec, 672407 t fired, . in use: 8 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 668875 m, 19892 m/sec, 791655 t fired, . in use: 9 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 768801 m, 19985 m/sec, 909470 t fired, . in use: 10 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 867637 m, 19767 m/sec, 1027492 t fired, . in use: 11 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 963778 m, 19228 m/sec, 1148523 t fired, . in use: 13 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1058538 m, 18952 m/sec, 1266150 t fired, . in use: 14 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1154338 m, 19160 m/sec, 1382754 t fired, . in use: 15 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1248799 m, 18892 m/sec, 1499493 t fired, . in use: 16 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1342734 m, 18787 m/sec, 1616644 t fired, . in use: 17 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1438756 m, 19204 m/sec, 1734370 t fired, . in use: 18 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1533067 m, 18862 m/sec, 1851849 t fired, . in use: 20 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1627474 m, 18881 m/sec, 1969346 t fired, . in use: 21 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1721630 m, 18831 m/sec, 2086589 t fired, . in use: 22 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1815454 m, 18764 m/sec, 2204336 t fired, . in use: 23 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 1910187 m, 18946 m/sec, 2320765 t fired, . in use: 24 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2004304 m, 18823 m/sec, 2438026 t fired, . in use: 25 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2097858 m, 18710 m/sec, 2555267 t fired, . in use: 26 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2192260 m, 18880 m/sec, 2671926 t fired, . in use: 28 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2286254 m, 18798 m/sec, 2789358 t fired, . in use: 29 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2380067 m, 18762 m/sec, 2906811 t fired, . in use: 30 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2473677 m, 18722 m/sec, 3023046 t fired, . in use: 31 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 PolyORBLF-PT-S02J04T10-CTLFireability-02 2566805 m, 18625 m/sec, 3139909 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 61 PolyORBLF-PT-S02J04T10-CTLFireability-15 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-PT-S02J04T10-CTLFireability-15 705808 m, 141161 m/sec, 764220 t fired, . in use: 32 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-PT-S02J04T10-CTLFireability-15 1371172 m, 133072 m/sec, 1500428 t fired, . in use: 32 VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-PT-S02J04T10-CTLFireability-15 2021397 m, 130045 m/sec, 2228068 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 44 PolyORBLF-PT-S02J04T10-CTLFireability-12 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-12 44504 54604 1.000000 1 for 38 PolyORBLF-PT-S02J04T10-CTLFireability-10 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-10 1442 2840 0.000000 1 for 35 PolyORBLF-PT-S02J04T10-CTLFireability-09 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-09 18232 30733 0.000000 1 for 32 PolyORBLF-PT-S02J04T10-CTLFireability-08 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J04T10-CTLFireability-08 430667 m, 86133 m/sec, 890907 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-PT-S02J04T10-CTLFireability-08 895289 m, 92924 m/sec, 1858697 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-PT-S02J04T10-CTLFireability-08 1347733 m, 90488 m/sec, 2805136 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-PT-S02J04T10-CTLFireability-08 1795966 m, 89646 m/sec, 3743512 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 PolyORBLF-PT-S02J04T10-CTLFireability-08 2241112 m, 89029 m/sec, 4679387 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 29 PolyORBLF-PT-S02J04T10-CTLFireability-07 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-07 1480 1498 0.000000 1 for 26 PolyORBLF-PT-S02J04T10-CTLFireability-06 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J04T10-CTLFireability-06 370331 m, 74066 m/sec, 880323 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-PT-S02J04T10-CTLFireability-06 743124 m, 74558 m/sec, 1756085 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-PT-S02J04T10-CTLFireability-06 1111708 m, 73716 m/sec, 2633842 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-PT-S02J04T10-CTLFireability-06 1477587 m, 73175 m/sec, 3510275 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 PolyORBLF-PT-S02J04T10-CTLFireability-06 1837557 m, 71994 m/sec, 4363127 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-PT-S02J04T10-CTLFireability-06 2204352 m, 73359 m/sec, 5224080 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 17 PolyORBLF-PT-S02J04T10-CTLFireability-03 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 251417 m, 50283 m/sec, 1004500 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 494773 m, 48671 m/sec, 2002373 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 734754 m, 47996 m/sec, 2990664 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 972171 m, 47483 m/sec, 3973607 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 1207171 m, 47000 m/sec, 4952545 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 1441140 m, 46793 m/sec, 5928851 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 1672213 m, 46214 m/sec, 6895434 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 1901942 m, 45945 m/sec, 7855867 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 2130314 m, 45674 m/sec, 8819868 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 PolyORBLF-PT-S02J04T10-CTLFireability-03 2354532 m, 44843 m/sec, 9772373 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-03 2401950 9974387 53.000000 29 for 11 PolyORBLF-PT-S02J04T10-CTLFireability-01 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-01 23305 26866 0.000000 1 for 0 PolyORBLF-PT-S02J04T10-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 2 1 0 3 0 0 0 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J04T10-CTLFireability-00 363441 m, 72688 m/sec, 468218 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 2 1 0 3 0 0 0 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 PolyORBLF-PT-S02J04T10-CTLFireability-00 1013835 m, 130078 m/sec, 1338964 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 2 1 0 3 0 0 0 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-PT-S02J04T10-CTLFireability-00 1664776 m, 130188 m/sec, 2190504 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 2 1 0 3 0 0 0 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 PolyORBLF-PT-S02J04T10-CTLFireability-00 2303602 m, 127765 m/sec, 3043730 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS DISJ 0 2 0 0 3 0 1 0 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 0 PolyORBLF-PT-S02J04T10-CTLFireability-00 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-00 0.000000 1 for 0 PolyORBLF-PT-S02J04T10-CTLFireability-00 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-00 664 783 0.000000 1 for 23 PolyORBLF-PT-S02J04T10-CTLFireability-05 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 128166 m, 25633 m/sec, 222373 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 250728 m, 24512 m/sec, 428095 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 381373 m, 26129 m/sec, 658333 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 509805 m, 25686 m/sec, 882961 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 625874 m, 23213 m/sec, 1081829 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 771130 m, 29051 m/sec, 1340281 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 886989 m, 23171 m/sec, 1545295 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 1 0 0 1 0 0 0 EG 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-PT-S02J04T10-CTLFireability-05 1016930 m, 25988 m/sec, 1781461 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-05 1054201 1847833 42.000000 13 for 20 PolyORBLF-PT-S02J04T10-CTLFireability-04 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 PolyORBLF-PT-S02J04T10-CTLFireability-04 647290 m, 129458 m/sec, 747988 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-PT-S02J04T10-CTLFireability-04 1523986 m, 175339 m/sec, 1807030 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 PolyORBLF-PT-S02J04T10-CTLFireability-04 2364980 m, 168198 m/sec, 2845889 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 PolyORBLF-PT-S02J04T10-CTLFireability-04 3181896 m, 163383 m/sec, 3868410 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-04 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 41 PolyORBLF-PT-S02J04T10-CTLFireability-11 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J04T10-CTLFireability-11 556860 m, 111372 m/sec, 1199208 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-PT-S02J04T10-CTLFireability-11 1083752 m, 105378 m/sec, 2357726 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-PT-S02J04T10-CTLFireability-11 1601860 m, 103621 m/sec, 3508121 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-PT-S02J04T10-CTLFireability-11 2107462 m, 101120 m/sec, 4639491 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-PT-S02J04T10-CTLFireability-11 2611226 m, 100752 m/sec, 5772203 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 PolyORBLF-PT-S02J04T10-CTLFireability-11 3107015 m, 99157 m/sec, 6889659 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 58 PolyORBLF-PT-S02J04T10-CTLFireability-14 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 3/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 217715 m, 43543 m/sec, 1096308 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 427800 m, 42017 m/sec, 2165284 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 7/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 638296 m, 42099 m/sec, 3233835 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 846757 m, 41692 m/sec, 4300720 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 1060682 m, 42785 m/sec, 5363325 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 13/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 1281102 m, 44084 m/sec, 6426035 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 1494535 m, 42686 m/sec, 7482065 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 1704032 m, 41899 m/sec, 8533396 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 19/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 1915773 m, 42348 m/sec, 9583831 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 21/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 2119197 m, 40684 m/sec, 10630151 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 2328496 m, 41859 m/sec, 11675158 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 2546287 m, 43558 m/sec, 12719347 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 2762615 m, 43265 m/sec, 13760766 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 29/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 2975021 m, 42481 m/sec, 14800539 t fired, . in use: 32 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 PolyORBLF-PT-S02J04T10-CTLFireability-14 3178758 m, 40747 m/sec, 15837351 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J04T10-CTLFireability-14 (memory limit exceeded) VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS 0 0 0 0 1 0 1 0 AGEF 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 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 tasks 16 VALUE PRODUCED BY DISJ true CTL model checker CTL false CTL model checker SP ECTL unknown AGGR CTL true CTL model checker AGEF unknown AGGR EG true state space / EG CTL unknown AGGR CTL false CTL model checker CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker CTL unknown AGGR CTL false CTL model checker DISJ false DISJ CTL unknown AGGR CTL 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-PT-S02J04T10"
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-PT-S02J04T10, 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-167873946700506"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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