MCC'2023- Execution of r294-tall-167873946800530

About the Execution of LoLA for PolyORBLF-PT-S02J06T10

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4079.260	914601.00	916214.00	2175.90	FF?F????TTFFTFT?	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-S02J06T10,
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 16K Feb
-rw-r--r-- 1 mcc users 97K Feb
-rw-r--r-- 1 mcc users 36K Feb
-rw-r--r-- 1 mcc users 204K 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.7K Feb
-rw-r--r-- 1 mcc users 40K Feb
-rw-r--r-- 1 mcc users 20K Feb
-rw-r--r-- 1 mcc users 82K Feb
-rw-r--r-- 1 mcc users 24K Feb
-rw-r--r-- 1 mcc users 136K Feb
-rw-r--r-- 1 mcc users 59K Feb
-rw-r--r-- 1 mcc users 299K Feb
-rw-r--r-- 1 mcc users 2.8K Feb
-rw-r--r-- 1 mcc users 6.1K 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 1.1M 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-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLFi

=== Now, execution of the tool begins

BK_START 1678894940908

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-S02J06T10
Not applying reductions.
Model is PT
CTLFireability PT
starting LoLA
BK_INPUT PolyORBLF-PT-S02J06T10
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
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
check_solution: Constraint R10 =
check_solution: Constraint R11 =
check_solution: Constraint R48 =
check_solution: Constraint R98 =
check_solution: Constraint R99 =
check_solution: Constraint R113
check_solution: Constraint R114
check_solution: Constraint R115
check_solution: Constraint R116
check_solution: Constraint R117

Seriously low accuracy found ||*||
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-14

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-10

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-12

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-11

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-09

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-08

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-01

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-03

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-00

FORMULA PolyORBLF-PT-S02J06T10-CTLFireability-13

BK_STOP 1678895855509

--------------------
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: 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: 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: 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: 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: 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: 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: LAUNCH task # 68 (type EXCL)
lola: time limit : 115 sec
lola: memory limit: 32 pages
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: LAUNCH task # 72 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 73 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (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: FINISHED task # 75 (type
lola: result : unknown
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
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: Created skeleton in 0.000000
lola: LAUNCH task # 69 (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
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: 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: FINISHED task # 69 (type
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 72 (type
lola: CANCELED task # 73 (type
lola: FINISHED task # 72 (type
lola: result : unknown
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: FINISHED task # 73 (type
lola: result : unknown
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: Created skeleton in 0.000000
lola: Created skeleton in 0.000000
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 4/158

Time elapsed: 590 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 9/158

Time elapsed: 595 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 14/158

Time elapsed: 600 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 19/158

Time elapsed: 605 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 24/158

Time elapsed: 610 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 29/158

Time elapsed: 615 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 34/158

Time elapsed: 620 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 39/158

Time elapsed: 625 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 44/158

Time elapsed: 630 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 49/158

Time elapsed: 635 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 54/158

Time elapsed: 640 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 59/158

Time elapsed: 645 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 64/158

Time elapsed: 650 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 69/158

Time elapsed: 655 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 74/158

Time elapsed: 660 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 79/158

Time elapsed: 665 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 84/158

Time elapsed: 670 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 89/158

Time elapsed: 675 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
68 LTL EXCL 94/158

Time elapsed: 680 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 68 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 77 (type EXCL)
lola: time limit : 162 sec
lola: memory limit: 32 pages
lola: FINISHED task # 77 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 66 (type EXCL)
lola: time limit : 171 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
66 CTL EXCL 4/171

Time elapsed: 685 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
66 CTL EXCL 9/171

Time elapsed: 690 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
66 CTL EXCL 14/171

Time elapsed: 695 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 66 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 700 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 53 (type EXCL)
lola: time limit : 181 sec
lola: memory limit: 32 pages
lola: FINISHED task # 53 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 46 (type EXCL)
lola: time limit : 207 sec
lola: memory limit: 32 pages
lola: FINISHED task # 46 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 36 (type EXCL)
lola: time limit : 223 sec
lola: memory limit: 32 pages
lola: FINISHED task # 36 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 33 (type EXCL)
lola: time limit : 241 sec
lola: memory limit: 32 pages
lola: FINISHED task # 33 (type
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 30 (type EXCL)
lola: time limit : 263 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 2/263

Time elapsed: 705 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 710 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 12/263

Time elapsed: 715 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 17/263

Time elapsed: 720 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 725 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 730 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 30 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 735 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 27 (type EXCL)
lola: time limit : 286 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 740 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 745 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 750 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 755 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 760 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 27 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 765 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 24 (type EXCL)
lola: time limit : 315 sec
lola: memory limit: 32 pages
lola: FINISHED task # 24 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 18 (type EXCL)
lola: time limit : 405 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 770 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 775 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 780 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 785 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 790 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 795 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 800 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 805 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 18 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 810 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 13 (type EXCL)
lola: time limit : 465 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 5/465

Time elapsed: 815 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 10/465

Time elapsed: 820 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 15/465

Time elapsed: 825 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 13 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 830 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 4 (type EXCL)
lola: time limit : 554 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 5/554

Time elapsed: 835 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 10/554

Time elapsed: 840 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 15/554

Time elapsed: 845 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 20/554

Time elapsed: 850 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 25/554

Time elapsed: 855 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 30/554

Time elapsed: 860 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 35/554

Time elapsed: 865 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 4 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10 (type EXCL)
lola: time limit : 683 sec
lola: memory limit: 32 pages
lola: FINISHED task # 10 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 7 (type EXCL)
lola: time limit : 911 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 4/911

Time elapsed: 870 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

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

Time elapsed: 875 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 14/911

Time elapsed: 880 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 19/911

Time elapsed: 885 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 24/911

Time elapsed: 890 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 29/911

Time elapsed: 895 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 34/911

Time elapsed: 900 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 39/911

Time elapsed: 905 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 44/911

Time elapsed: 910 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 7 (type
FINISHED FORMULA: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-01:
PolyORBLF-PT-S02J06T10-CTLFireability-03:
PolyORBLF-PT-S02J06T10-CTLFireability-08:
PolyORBLF-PT-S02J06T10-CTLFireability-09:
PolyORBLF-PT-S02J06T10-CTLFireability-10:
PolyORBLF-PT-S02J06T10-CTLFireability-11:
PolyORBLF-PT-S02J06T10-CTLFireability-12:
PolyORBLF-PT-S02J06T10-CTLFireability-14:

PENDING FORMULAS: CATEGORY
PolyORBLF-PT-S02J06T10-CTLFireability-00:
PolyORBLF-PT-S02J06T10-CTLFireability-02:
PolyORBLF-PT-S02J06T10-CTLFireability-04:
PolyORBLF-PT-S02J06T10-CTLFireability-05:
PolyORBLF-PT-S02J06T10-CTLFireability-06:
PolyORBLF-PT-S02J06T10-CTLFireability-07:
PolyORBLF-PT-S02J06T10-CTLFireability-13:
PolyORBLF-PT-S02J06T10-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 915 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 1342 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 56 (type EXCL)
lola: time limit : 2685 sec
lola: memory limit: 32 pages
lola: FINISHED task # 56 (type
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished: no open

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

Time elapsed: 915 secs. Pages
ll-167873946800530.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 800530 ============================ 26 13:36 CTLCardinality.txt 26 13:36 CTLCardinality.xml 26 13:35 CTLFireability.txt 26 13:35 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 13:42 ReachabilityCardinality.txt 26 13:42 ReachabilityCardinality.xml 26 13:40 ReachabilityFireability.txt 26 13:40 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/ 23987 and 885 nodes. 17765 and 1285 nodes. 24848 and 1522 nodes. 13978 and 760 nodes. 26702 and 1356 nodes. 10004 and 339 nodes. 23742 and 1725 nodes. 31709 and 2224 nodes. 5.44079720925e-311 is above its equality of -1 4.53258301037e-311 is above its equality of -1 5.8842943298e-311 is above its equality of -1 5.90127029601e-311 is above its equality of -1 3.61163683749e-311 is above its equality of -1 = 5.41957725119e-311 is above its equality of -1 = 6.92407226701e-311 is above its equality of -1 = 6.70338470461e-311 is above its equality of -1 = 7.16597978773e-311 is above its equality of -1 = 5.30498947856e-311 is above its equality of -1 = 10 (rel. error 1.15378) 12665 and 661 nodes. 12913 and 675 nodes. 23125 and 1341 nodes. 15230 and 881 nodes. 17917 and 1131 nodes. 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 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT 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 ion/model.pnml net on/model.pnml ecution/CTLFireability.xml ewrite.k:550 ewrite.k:314 ewrite.k:322 ewrite.k:334 ewrite.k:322 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:250 ewrite.k:451 ewrite.k:400 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:439 ewrite.k:250 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:451 ewrite.k:325 ewrite.k:328 ewrite.k:325 ewrite.k:331 ewrite.k:299 ewrite.k:469 ewrite.k:325 ewrite.k:334 ewrite.k:296 ewrite.k:544 ewrite.k:397 ewrite.k:250 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:317 ewrite.k:325 ewrite.k:334 ewrite.k:299 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:314 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:544 ewrite.k:325 ewrite.k:337 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:314 ewrite.k:317 ewrite.k:322 ewrite.k:340 ewrite.k:325 ewrite.k:328 ewrite.k:299 ewrite.k:325 ewrite.k:331 ewrite.k:299 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:325 ewrite.k:334 ewrite.k:314 ewrite.k:296 ewrite.k:314 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:296 ewrite.k:457 ewrite.k:317 ewrite.k:322 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:394 ewrite.k:322 ewrite.k:328 ewrite.k:322 ewrite.k:331 ewrite.k:317 ewrite.k:296 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:253 ewrite.k:253 ewrite.k:451 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:322 ewrite.k:331 ewrite.k:299 ewrite.k:314 ewrite.k:325 ewrite.k:331 ewrite.k:314 ewrite.k:296 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:334 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:296 ewrite.k:325 ewrite.k:334 ewrite.k:325 ewrite.k:337 ewrite.k:296 ewrite.k:322 ewrite.k:334 ewrite.k:296 ewrite.k:322 ewrite.k:328 ewrite.k:296 ewrite.k:250 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:325 ewrite.k:328 ewrite.k:314 ewrite.k:296 ewrite.k:322 ewrite.k:328 ewrite.k:299 ewrite.k:553 ewrite.k:96 ewrite.k:120 ewrite.k:322 ewrite.k:337 ewrite.k:296 ewrite.k:296 ewrite.k:448 ewrite.k:314 ewrite.k:296 ewrite.k:317 ewrite.k:325 ewrite.k:340 ewrite.k:299 ewrite.k:299 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:547 ewrite.k:454 ewrite.k:454 ewrite.k:253 ewrite.k:96 ewrite.k:116 ewrite.k:116 ewrite.k:121 ewrite.k:325 ewrite.k:337 ewrite.k:325 ewrite.k:331 ewrite.k:296 ewrite.k:322 ewrite.k:337 ewrite.k:296 ewrite.k:296 secs. secs. secs. secs. places removed secs. secs. secs. secs. secs. secs. secs. secs. secs. secs. secs. secs. ewrite.k:813 ewrite.k:814 ewrite.k:813 ewrite.k:811 ewrite.k:679 ewrite.k:679 ewrite.k:814 ewrite.k:813 ewrite.k:806 for 38 PolyORBLF-PT-S02J06T10-CTLFireability-10 secs. ewrite.k:810 ewrite.k:807 ewrite.k:807 ewrite.k:813 ewrite.k:814 ewrite.k:813 ewrite.k:809 ewrite.k:813 ewrite.k:811 ewrite.k:711 ewrite.k:812 ewrite.k:808 ewrite.k:811 ewrite.k:811 ewrite.k:813 ewrite.k:711 ewrite.k:711 ewrite.k:711 for 58 PolyORBLF-PT-S02J06T10-CTLFireability-14 for 58 PolyORBLF-PT-S02J06T10-CTLFireability-14 for 58 PolyORBLF-PT-S02J06T10-CTLFireability-14 ewrite.k:806 ewrite.k:813 ewrite.k:812 ewrite.k:808 ewrite.k:811 ewrite.k:813 ewrite.k:809 ewrite.k:811 ewrite.k:813 ewrite.k:810 ewrite.k:815 ewrite.k:806 SRCH) for PolyORBLF-PT-S02J06T10-CTLFireability-14 3 2 0.000000 1 ewrite.k:813 ewrite.k:808 ewrite.k:806 ewrite.k:807 ewrite.k:711 ewrite.k:811 ewrite.k:808 ewrite.k:807 ewrite.k:815 ewrite.k:812 ewrite.k:807 ewrite.k:814 ewrite.k:711 ewrite.k:711 ewrite.k:806 ewrite.k:811 ewrite.k:807 ewrite.k:807 ewrite.k:813 ewrite.k:806 ewrite.k:807 secs. for 58 PolyORBLF-PT-S02J06T10-CTLFireability-14 ewrite.k:813 ewrite.k:813 ewrite.k:812 ewrite.k:814 execution/CTLFireability-73.sara. ewrite.k:813 ewrite.k:806 ewrite.k:808 ewrite.k:811 ewrite.k:812 ewrite.k:806 ewrite.k:813 ewrite.k:806 ewrite.k:809 secs. ewrite.k:811 ewrite.k:813 ewrite.k:809 ewrite.k:807 ewrite.k:808 ewrite.k:812 ewrite.k:808 ewrite.k:806 ewrite.k:812 ewrite.k:814 FNDP) for PolyORBLF-PT-S02J06T10-CTLFireability-14 6584 1 0.000000 0 FNDP) for PolyORBLF-PT-S02J06T10-CTLFireability-14 (obsolete) EQUN) for PolyORBLF-PT-S02J06T10-CTLFireability-14 (obsolete) FNDP) for PolyORBLF-PT-S02J06T10-CTLFireability-14 8888 2 0.000000 0 EQUN) for PolyORBLF-PT-S02J06T10-CTLFireability-14 ewrite.k:754 ewrite.k:788 ewrite.k:807 ewrite.k:813 ewrite.k:714 secs. secs. VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 59177 m, 11835 m/sec, 63966 t fired, . in use: 2 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 139084 m, 15981 m/sec, 153822 t fired, . in use: 2 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 218585 m, 15900 m/sec, 245018 t fired, . in use: 3 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 297663 m, 15815 m/sec, 335181 t fired, . in use: 4 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 373887 m, 15244 m/sec, 419662 t fired, . in use: 5 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 449982 m, 15219 m/sec, 506349 t fired, . in use: 6 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 525705 m, 15144 m/sec, 594417 t fired, . in use: 7 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 601282 m, 15115 m/sec, 683209 t fired, . in use: 8 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 677076 m, 15158 m/sec, 773012 t fired, . in use: 8 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 752464 m, 15077 m/sec, 862132 t fired, . in use: 9 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 828180 m, 15143 m/sec, 952026 t fired, . in use: 10 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 903759 m, 15115 m/sec, 1042714 t fired, . in use: 11 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 979202 m, 15088 m/sec, 1133905 t fired, . in use: 12 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 1054276 m, 15014 m/sec, 1225088 t fired, . in use: 13 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 1129670 m, 15078 m/sec, 1316518 t fired, . in use: 14 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 1205072 m, 15080 m/sec, 1408213 t fired, . in use: 15 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 1280508 m, 15087 m/sec, 1500160 t fired, . in use: 16 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 1355861 m, 15070 m/sec, 1592175 t fired, . in use: 17 VALUE PRODUCED BY DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 PolyORBLF-PT-S02J06T10-CTLFireability-10 1431512 m, 15130 m/sec, 1684581 t fired, . in use: 18 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-10 1450594 1708014 95.000000 18 for 38 PolyORBLF-PT-S02J06T10-CTLFireability-10 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-10 532 554 0.000000 1 for 65 PolyORBLF-PT-S02J06T10-CTLFireability-15 VALUE PRODUCED BY DISJ false DISJ DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-PT-S02J06T10-CTLFireability-15 509880 m, 101976 m/sec, 548226 t fired, . in use: 18 VALUE PRODUCED BY DISJ false DISJ DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-PT-S02J06T10-CTLFireability-15 1171967 m, 132417 m/sec, 1275271 t fired, . in use: 18 VALUE PRODUCED BY DISJ false DISJ DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 PolyORBLF-PT-S02J06T10-CTLFireability-15 1813511 m, 128308 m/sec, 1985100 t fired, . in use: 25 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY DISJ false DISJ DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EXEF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 48 PolyORBLF-PT-S02J06T10-CTLFireability-12 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-12 29791 31334 0.000000 1 for 45 PolyORBLF-PT-S02J06T10-CTLFireability-11 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-11 2806 6937 0.000000 1 for 35 PolyORBLF-PT-S02J06T10-CTLFireability-09 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-09 116235 473143 3.000000 2 for 32 PolyORBLF-PT-S02J06T10-CTLFireability-08 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-08 333 332 0.000000 1 for 29 PolyORBLF-PT-S02J06T10-CTLFireability-07 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 PolyORBLF-PT-S02J06T10-CTLFireability-07 170123 m, 34024 m/sec, 356096 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 PolyORBLF-PT-S02J06T10-CTLFireability-07 570412 m, 80057 m/sec, 1202618 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 PolyORBLF-PT-S02J06T10-CTLFireability-07 954019 m, 76721 m/sec, 2018222 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 PolyORBLF-PT-S02J06T10-CTLFireability-07 1332721 m, 75740 m/sec, 2825536 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 PolyORBLF-PT-S02J06T10-CTLFireability-07 1701933 m, 73842 m/sec, 3615285 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 PolyORBLF-PT-S02J06T10-CTLFireability-07 2069367 m, 73486 m/sec, 4402691 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 26 PolyORBLF-PT-S02J06T10-CTLFireability-06 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 PolyORBLF-PT-S02J06T10-CTLFireability-06 420105 m, 84021 m/sec, 875154 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 PolyORBLF-PT-S02J06T10-CTLFireability-06 824882 m, 80955 m/sec, 1726947 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 PolyORBLF-PT-S02J06T10-CTLFireability-06 1220842 m, 79192 m/sec, 2563338 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 PolyORBLF-PT-S02J06T10-CTLFireability-06 1613116 m, 78454 m/sec, 3393378 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 PolyORBLF-PT-S02J06T10-CTLFireability-06 2002249 m, 77826 m/sec, 4219356 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 3 0 0 3 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 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 15 PolyORBLF-PT-S02J06T10-CTLFireability-05 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-05 206 205 0.000000 1 for 15 PolyORBLF-PT-S02J06T10-CTLFireability-05 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 5/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 309407 m, 61881 m/sec, 756971 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 9/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 617531 m, 61624 m/sec, 1506790 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 13/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 925607 m, 61615 m/sec, 2261765 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 17/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 1233351 m, 61548 m/sec, 3016783 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 21/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 1539074 m, 61144 m/sec, 3765913 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 25/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 1842629 m, 60711 m/sec, 4510939 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 29/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 2144616 m, 60397 m/sec, 5258190 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 1 0 4 0 0 1 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 32/32 PolyORBLF-PT-S02J06T10-CTLFireability-05 2443772 m, 59831 m/sec, 6004175 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-05 (memory limit exceeded) VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 0 0 0 4 0 1 1 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 12 PolyORBLF-PT-S02J06T10-CTLFireability-04 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 4 0 1 1 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 10/32 PolyORBLF-PT-S02J06T10-CTLFireability-04 672755 m, 134551 m/sec, 726019 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 4 0 1 1 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 18/32 PolyORBLF-PT-S02J06T10-CTLFireability-04 1306128 m, 126674 m/sec, 1423024 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 0 0 0 4 0 1 1 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 27/32 PolyORBLF-PT-S02J06T10-CTLFireability-04 1927575 m, 124289 m/sec, 2112470 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-04 (memory limit exceeded) VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 3 PolyORBLF-PT-S02J06T10-CTLFireability-01 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 5/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 355926 m, 71185 m/sec, 775339 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 10/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 697066 m, 68228 m/sec, 1542529 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 14/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 1029396 m, 66466 m/sec, 2301980 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 19/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 1357700 m, 65660 m/sec, 3057109 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 23/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 1683341 m, 65128 m/sec, 3809497 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 27/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 2006513 m, 64634 m/sec, 4559431 t fired, . in use: 32 VALUE PRODUCED BY EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AFAG 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 31/32 PolyORBLF-PT-S02J06T10-CTLFireability-01 2320928 m, 62883 m/sec, 5304274 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-01 2367486 5414687 36.000000 31 for 9 PolyORBLF-PT-S02J06T10-CTLFireability-03 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-03 912 1949 0.000000 1 for 6 PolyORBLF-PT-S02J06T10-CTLFireability-02 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 3/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 246104 m, 49220 m/sec, 775882 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 7/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 602394 m, 71258 m/sec, 1914998 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 11/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 949650 m, 69451 m/sec, 3034147 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 14/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 1293281 m, 68726 m/sec, 4147045 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 18/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 1632139 m, 67771 m/sec, 5247958 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 21/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 1964681 m, 66508 m/sec, 6334132 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 24/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 2297805 m, 66624 m/sec, 7423161 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 28/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 2628300 m, 66099 m/sec, 8507419 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 31/32 PolyORBLF-PT-S02J06T10-CTLFireability-02 2956593 m, 65658 m/sec, 9584454 t fired, . in use: 32 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AFAG false CTL model checker EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 4 0 1 1 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 0 PolyORBLF-PT-S02J06T10-CTLFireability-00 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-00 1490 1551 0.000000 1 for 55 PolyORBLF-PT-S02J06T10-CTLFireability-13 EXCL) for PolyORBLF-PT-S02J06T10-CTLFireability-13 806 1612 0.000000 1 tasks 16 VALUE PRODUCED BY CTL false CTL model checker CTL false CTL model checker CTL unknown AGGR AFAG false CTL model checker CTL unknown AGGR DISJ unknown DISJ CTL unknown AGGR CTL unknown AGGR EXEF true state space /EXEF CTL true CTL model checker DISJ false DISJ CTL false CTL model checker DISJ true CTL model checker CTL false CTL model checker DISJ true findpath 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-S02J06T10"
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-S02J06T10, 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-167873946800530"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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