MCC'2021- Execution of r099-smll-162075328900234

About the Execution of LoLA for GPPP-PT-C0100N0000000010

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2907.596	711090.00	709318.00	1763.40	?FF?FF????TFTTTT	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r099-smll
Waiting for the VM to be ready (probing
...........................................
=====================
Generated by BenchKit 2-4028
Executing tool lola
Input is GPPP-PT-C0100N0000000010,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r099-smll-16207532890
===========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 460K
-rw-r--r-- 1 mcc users 14K May 5
-rw-r--r-- 1 mcc users 131K May 10
-rw-r--r-- 1 mcc users 22K May 5
-rw-r--r-- 1 mcc users 122K May 10
-rw-r--r-- 1 mcc users 4.2K May 6
-rw-r--r-- 1 mcc users 6.0K May 6
-rw-r--r-- 1 mcc users 3.1K Mar 28
-rw-r--r-- 1 mcc users 21K Mar 28
-rw-r--r-- 1 mcc users 2.8K Mar 28
-rw-r--r-- 1 mcc users 19K Mar 28
-rw-r--r-- 1 mcc users 3.5K Mar 23
-rw-r--r-- 1 mcc users 17K Mar 23
-rw-r--r-- 1 mcc users 4.0K Mar 22
-rw-r--r-- 1 mcc users 20K Mar 22
-rw-r--r-- 1 mcc users 1.7K Mar 22
-rw-r--r-- 1 mcc users 3.8K Mar 22
-rw-r--r-- 1 mcc users 6 May 5
-rw-r--r-- 1 mcc users 17 May 5
-rw-r--r-- 1 mcc users 6 May 5
-rw-r--r-- 1 mcc users 1 May 5
-rw-r--r-- 1 mcc users 21K May 5

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

=== Data for post analysis generated

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi
FORMULA_NAME GPPP-PT-C0100N0000000010-CTLFi

=== Now, execution of the tool begins

BK_START 1620836830314

starting LoLA
BK_INPUT GPPP-PT-C0100N0000000010
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
CTLFireability

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-02

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-04

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-05

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-15

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-14

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-13

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-11

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-10

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-01

FORMULA GPPP-PT-C0100N0000000010-CTLFireability-12

BK_STOP 1620837541404

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/executio
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execution
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/exec
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 11 (type EXCL)
lola: time limit : 111 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 11 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 19 (type EXCL)
lola: time limit : 124 sec
lola: memory limit: 32 pages
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 19 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 24 (type EXCL)
lola: time limit : 186 sec
lola: memory limit: 32 pages
lola: FINISHED task # 24 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 30 (type EXCL)
lola: time limit : 197 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: planning for (null) stopped
lola: LAUNCH task # 65 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 66 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 68 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 68 (type SRCH)
lola: result : unknown
lola: time used :
lola: memory pages used :
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 69 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 65 (type FNDP)
lola: result : true
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 66 (type EQUN)
lola: LAUNCH task # 70 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 72 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 66 (type EQUN)
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 72 (type SRCH)
lola: result : unknown
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 69 (type FNDP)
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 70 (type EQUN)
lola: FINISHED task # 70 (type EQUN)
lola: result : unknown
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 5/279

Time elapsed: 251 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

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

Time elapsed: 256 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 15/279

Time elapsed: 261 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 20/279

Time elapsed: 266 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 25/279

Time elapsed: 271 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 30/279

Time elapsed: 276 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 35/279

Time elapsed: 281 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 40/279

Time elapsed: 286 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 45/279

Time elapsed: 291 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 50/279

Time elapsed: 296 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 30 (type EXCL)
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-12:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 301 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 51 (type EXCL)
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: FINISHED task # 51 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 48 (type EXCL)
lola: time limit : 329 sec
lola: memory limit: 32 pages
lola: FINISHED task # 48 (type EXCL)
lola: result : true
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 42 (type EXCL)
lola: time limit : 366 sec
lola: memory limit: 32 pages
lola: FINISHED task # 42 (type EXCL)
lola: result : false
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 39 (type EXCL)
lola: time limit : 412 sec
lola: memory limit: 32 pages
lola: FINISHED task # 39 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 36 (type EXCL)
lola: time limit : 471 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 5/471

Time elapsed: 306 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 10/471

Time elapsed: 311 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 15/471

Time elapsed: 316 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 20/471

Time elapsed: 321 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 25/471

Time elapsed: 326 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 30/471

Time elapsed: 331 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 35/471

Time elapsed: 336 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 40/471

Time elapsed: 341 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 45/471

Time elapsed: 346 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 50/471

Time elapsed: 351 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
36 CTL EXCL 55/471

Time elapsed: 356 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 36 (type EXCL)
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 361 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 33 (type EXCL)
lola: time limit : 539 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 5/539

Time elapsed: 366 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 10/539

Time elapsed: 371 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 15/539

Time elapsed: 376 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 20/539

Time elapsed: 381 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 25/539

Time elapsed: 386 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 30/539

Time elapsed: 391 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 35/539

Time elapsed: 396 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 40/539

Time elapsed: 401 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 45/539

Time elapsed: 406 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 50/539

Time elapsed: 411 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 55/539

Time elapsed: 416 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
33 CTL EXCL 60/539

Time elapsed: 421 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 33 (type EXCL)
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 426 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 14 (type EXCL)
lola: time limit : 634 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 5/634

Time elapsed: 431 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 10/634

Time elapsed: 436 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 15/634

Time elapsed: 441 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 20/634

Time elapsed: 446 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 25/634

Time elapsed: 451 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 30/634

Time elapsed: 456 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 35/634

Time elapsed: 461 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 40/634

Time elapsed: 466 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 45/634

Time elapsed: 471 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 50/634

Time elapsed: 476 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
14 CTL EXCL 55/634

Time elapsed: 481 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 14 (type EXCL)
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 486 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 4 (type EXCL)
lola: time limit : 778 sec
lola: memory limit: 32 pages
lola: FINISHED task # 4 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 1038 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 491 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 496 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 501 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 506 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 511 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 516 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 521 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 526 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 531 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 536 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 541 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 60/1038

Time elapsed: 546 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 65/1038

Time elapsed: 551 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 70/1038

Time elapsed: 556 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 75/1038

Time elapsed: 561 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 80/1038

Time elapsed: 566 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 85/1038

Time elapsed: 571 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 90/1038

Time elapsed: 576 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 95/1038

Time elapsed: 581 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 100/1038

Time elapsed: 586 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 105/1038

Time elapsed: 591 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 110/1038

Time elapsed: 596 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 115/1038

Time elapsed: 601 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 120/1038

Time elapsed: 606 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 125/1038

Time elapsed: 611 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 130/1038

Time elapsed: 616 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 135/1038

Time elapsed: 621 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 140/1038

Time elapsed: 626 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 145/1038

Time elapsed: 631 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 150/1038

Time elapsed: 636 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 155/1038

Time elapsed: 641 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
1 CTL EXCL 160/1038

Time elapsed: 646 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 1 (type EXCL)
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 651 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 27 (type EXCL)
lola: time limit : 1474 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 656 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 661 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 666 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 671 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 676 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 681 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 35/1474

Time elapsed: 686 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 40/1474

Time elapsed: 691 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 45/1474

Time elapsed: 696 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT
27 CTL EXCL 50/1474

Time elapsed: 701 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

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

Time elapsed: 706 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 27 (type EXCL)
FINISHED FORMULA: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-01:
GPPP-PT-C0100N0000000010-CTLFireability-02:
GPPP-PT-C0100N0000000010-CTLFireability-04:
GPPP-PT-C0100N0000000010-CTLFireability-05:
GPPP-PT-C0100N0000000010-CTLFireability-10:
GPPP-PT-C0100N0000000010-CTLFireability-11:
GPPP-PT-C0100N0000000010-CTLFireability-13:
GPPP-PT-C0100N0000000010-CTLFireability-14:
GPPP-PT-C0100N0000000010-CTLFireability-15:

PENDING FORMULAS: CATEGORY
GPPP-PT-C0100N0000000010-CTLFireability-00:
GPPP-PT-C0100N0000000010-CTLFireability-03:
GPPP-PT-C0100N0000000010-CTLFireability-06:
GPPP-PT-C0100N0000000010-CTLFireability-07:
GPPP-PT-C0100N0000000010-CTLFireability-08:
GPPP-PT-C0100N0000000010-CTLFireability-09:
GPPP-PT-C0100N0000000010-CTLFireability-12:

TASK CATEGORY TYPE TIME/TLIMIT

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

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

Time elapsed: 711 secs. Pages
-162075328900234.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ssh) ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ================================================ examination is CTLFireability 0234 ========================== 16:58 CTLCardinality.txt 09:43 CTLCardinality.xml 16:58 CTLFireability.txt 09:43 CTLFireability.xml 14:48 GenericPropertiesDefinition.xml 14:48 GenericPropertiesVerdict.xml 16:13 LTLCardinality.txt 16:13 LTLCardinality.xml 16:13 LTLFireability.txt 16:13 LTLFireability.xml 11:24 ReachabilityCardinality.txt 11:24 ReachabilityCardinality.xml 19:56 ReachabilityFireability.txt 19:56 ReachabilityFireability.xml 09:15 UpperBounds.txt 09:15 UpperBounds.xml 16:51 equiv_col 16:51 instance 16:51 iscolored 16:51 large_marking 16:51 model.pnml by BenchKit (invocation template) 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 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 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 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 n/model.pnml net /model.pnml ution/CTLFireability.xml rite.k:391 rite.k:253 rite.k:253 rite.k:322 rite.k:337 rite.k:296 rite.k:322 rite.k:337 rite.k:296 rite.k:296 rite.k:325 rite.k:331 rite.k:325 rite.k:340 rite.k:299 rite.k:325 rite.k:340 rite.k:299 rite.k:299 rite.k:322 rite.k:328 rite.k:296 rite.k:250 rite.k:322 rite.k:334 rite.k:296 rite.k:325 rite.k:334 rite.k:299 rite.k:322 rite.k:334 rite.k:296 rite.k:322 rite.k:331 rite.k:296 rite.k:314 rite.k:322 rite.k:334 rite.k:322 rite.k:328 rite.k:296 rite.k:325 rite.k:328 rite.k:299 rite.k:325 rite.k:328 rite.k:296 rite.k:544 rite.k:322 rite.k:334 rite.k:296 rite.k:322 rite.k:328 rite.k:296 rite.k:451 rite.k:322 rite.k:337 rite.k:296 rite.k:296 rite.k:325 rite.k:337 rite.k:296 rite.k:325 rite.k:340 rite.k:299 rite.k:299 rite.k:314 rite.k:296 rite.k:322 rite.k:331 rite.k:296 rite.k:322 rite.k:334 rite.k:325 rite.k:331 rite.k:296 rite.k:325 rite.k:334 rite.k:322 rite.k:328 rite.k:299 rite.k:544 rite.k:388 rite.k:553 rite.k:544 rite.k:388 rite.k:454 rite.k:317 rite.k:296 rite.k:325 rite.k:331 rite.k:296 rite.k:325 rite.k:331 rite.k:296 rite.k:322 rite.k:328 rite.k:299 rite.k:250 rite.k:250 rite.k:325 rite.k:334 rite.k:296 rite.k:317 rite.k:325 rite.k:337 rite.k:296 rite.k:296 rite.k:296 rite.k:325 rite.k:328 rite.k:296 rite.k:550 rite.k:550 rite.k:253 rite.k:325 rite.k:337 rite.k:296 rite.k:296 rite.k:325 rite.k:334 rite.k:296 rite.k:550 rite.k:322 rite.k:337 rite.k:296 rite.k:296 rite.k:250 rite.k:314 rite.k:325 rite.k:337 rite.k:296 rite.k:296 rite.k:314 rite.k:296 rite.k:314 rite.k:325 rite.k:340 rite.k:299 rite.k:299 rite.k:296 rite.k:317 rite.k:322 rite.k:340 rite.k:299 rite.k:299 rite.k:317 rite.k:299 rite.k:317 rite.k:322 rite.k:337 rite.k:296 rite.k:296 rite.k:299 rite.k:322 rite.k:331 rite.k:296 rite.k:314 rite.k:296 rite.k:325 rite.k:337 rite.k:325 rite.k:328 rite.k:299 rite.k:296 rite.k:322 rite.k:337 rite.k:296 rite.k:296 rite.k:325 rite.k:334 rite.k:322 rite.k:328 rite.k:296 rite.k:253 rite.k:253 rite.k:253 rite.k:314 rite.k:325 rite.k:337 rite.k:296 rite.k:296 rite.k:325 rite.k:331 rite.k:296 rite.k:544 places removed rite.k:811 rite.k:807 rite.k:813 for 6 GPPP-PT-C0100N0000000010-CTLFireability-02 rite.k:808 rite.k:813 for GPPP-PT-C0100N0000000010-CTLFireability-02 642 1394 0.000000 1 for 16 GPPP-PT-C0100N0000000010-CTLFireability-04 rite.k:811 rite.k:807 rite.k:809 rite.k:807 rite.k:807 rite.k:814 rite.k:809 rite.k:809 rite.k:807 rite.k:813 rite.k:809 rite.k:814 rite.k:806 rite.k:813 rite.k:806 rite.k:812 rite.k:806 for GPPP-PT-C0100N0000000010-CTLFireability-04 1371 3160 0.000000 1 for 23 GPPP-PT-C0100N0000000010-CTLFireability-05 for GPPP-PT-C0100N0000000010-CTLFireability-05 124 129 0.000000 1 rite.k:813 rite.k:807 for 29 GPPP-PT-C0100N0000000010-CTLFireability-07 rite.k:814 rite.k:813 rite.k:806 rite.k:809 rite.k:806 rite.k:806 rite.k:806 rite.k:814 rite.k:815 rite.k:814 rite.k:812 rite.k:809 rite.k:815 rite.k:809 rite.k:812 rite.k:811 rite.k:807 rite.k:814 rite.k:812 rite.k:813 rite.k:814 rite.k:812 rite.k:809 rite.k:813 rite.k:806 rite.k:813 rite.k:813 rite.k:808 rite.k:813 rite.k:806 rite.k:807 rite.k:815 rite.k:809 rite.k:814 rite.k:812 rite.k:813 rite.k:806 rite.k:808 rite.k:812 rite.k:812 rite.k:807 rite.k:807 rite.k:806 rite.k:807 rite.k:809 rite.k:810 rite.k:811 rite.k:815 rite.k:809 rite.k:810 rite.k:806 rite.k:812 rite.k:812 rite.k:809 rite.k:806 rite.k:811 rite.k:811 rite.k:815 rite.k:813 rite.k:813 rite.k:721 rite.k:787 rite.k:721 rite.k:787 rite.k:721 rite.k:787 rite.k:811 rite.k:811 rite.k:807 rite.k:813 rite.k:808 rite.k:808 rite.k:811 rite.k:814 rite.k:814 rite.k:814 rite.k:813 rite.k:809 (result already fixed). for 53 GPPP-PT-C0100N0000000010-CTLFireability-15 for 53 GPPP-PT-C0100N0000000010-CTLFireability-15 rite.k:721 rite.k:787 for 53 GPPP-PT-C0100N0000000010-CTLFireability-15 rite.k:711 rite.k:711 rite.k:711 for GPPP-PT-C0100N0000000010-CTLFireability-15 0.000000 1 for 53 GPPP-PT-C0100N0000000010-CTLFireability-15 for GPPP-PT-C0100N0000000010-CTLFireability-15 1 0.000000 0 for GPPP-PT-C0100N0000000010-CTLFireability-15 (obsolete) for 53 GPPP-PT-C0100N0000000010-CTLFireability-15 rite.k:711 for 53 GPPP-PT-C0100N0000000010-CTLFireability-15 for GPPP-PT-C0100N0000000010-CTLFireability-15 rite.k:806 rite.k:812 rite.k:807 rite.k:813 for GPPP-PT-C0100N0000000010-CTLFireability-15 3 2 0.000000 1 rite.k:813 rite.k:807 rite.k:808 rite.k:809 rite.k:811 rite.k:806 rite.k:814 rite.k:807 rite.k:807 rite.k:809 for GPPP-PT-C0100N0000000010-CTLFireability-15 9 1 0.000000 0 for GPPP-PT-C0100N0000000010-CTLFireability-15 (obsolete) for GPPP-PT-C0100N0000000010-CTLFireability-15 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPPP-PT-C0100N0000000010-CTLFireability-07 847010 m, 169402 m/sec, 6241032 t fired, . VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPPP-PT-C0100N0000000010-CTLFireability-07 1600345 m, 150667 m/sec, 12252964 t fired, . VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPPP-PT-C0100N0000000010-CTLFireability-07 2319369 m, 143804 m/sec, 18194508 t fired, . in use: 10 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPPP-PT-C0100N0000000010-CTLFireability-07 3030147 m, 142155 m/sec, 24105899 t fired, . in use: 13 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPPP-PT-C0100N0000000010-CTLFireability-07 3713061 m, 136582 m/sec, 29983750 t fired, . in use: 16 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 GPPP-PT-C0100N0000000010-CTLFireability-07 4393945 m, 136176 m/sec, 35779487 t fired, . in use: 19 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 GPPP-PT-C0100N0000000010-CTLFireability-07 5075740 m, 136359 m/sec, 41553102 t fired, . in use: 22 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 GPPP-PT-C0100N0000000010-CTLFireability-07 5761694 m, 137190 m/sec, 47464284 t fired, . in use: 25 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPPP-PT-C0100N0000000010-CTLFireability-07 6424363 m, 132533 m/sec, 53195356 t fired, . in use: 28 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 GPPP-PT-C0100N0000000010-CTLFireability-07 6980280 m, 111183 m/sec, 58273571 t fired, . in use: 30 for GPPP-PT-C0100N0000000010-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 50 GPPP-PT-C0100N0000000010-CTLFireability-14 for GPPP-PT-C0100N0000000010-CTLFireability-14 2 5 0.000000 1 for 47 GPPP-PT-C0100N0000000010-CTLFireability-13 for GPPP-PT-C0100N0000000010-CTLFireability-13 0.000000 1 for 41 GPPP-PT-C0100N0000000010-CTLFireability-11 for GPPP-PT-C0100N0000000010-CTLFireability-11 0.000000 1 for 38 GPPP-PT-C0100N0000000010-CTLFireability-10 for GPPP-PT-C0100N0000000010-CTLFireability-10 53 55 0.000000 1 for 35 GPPP-PT-C0100N0000000010-CTLFireability-09 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPPP-PT-C0100N0000000010-CTLFireability-09 744538 m, 148907 m/sec, 5456743 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPPP-PT-C0100N0000000010-CTLFireability-09 1456365 m, 142365 m/sec, 11092886 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 GPPP-PT-C0100N0000000010-CTLFireability-09 2132906 m, 135308 m/sec, 16591587 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPPP-PT-C0100N0000000010-CTLFireability-09 2799895 m, 133397 m/sec, 22045423 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPPP-PT-C0100N0000000010-CTLFireability-09 3451379 m, 130296 m/sec, 27641514 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPPP-PT-C0100N0000000010-CTLFireability-09 4079455 m, 125615 m/sec, 33044517 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 GPPP-PT-C0100N0000000010-CTLFireability-09 4703230 m, 124755 m/sec, 38388206 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPPP-PT-C0100N0000000010-CTLFireability-09 5350734 m, 129500 m/sec, 44006779 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPPP-PT-C0100N0000000010-CTLFireability-09 6053959 m, 140645 m/sec, 49785410 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 GPPP-PT-C0100N0000000010-CTLFireability-09 6696078 m, 128423 m/sec, 55405795 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPPP-PT-C0100N0000000010-CTLFireability-09 7362022 m, 133188 m/sec, 60548854 t fired, . in use: 32 for GPPP-PT-C0100N0000000010-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 32 GPPP-PT-C0100N0000000010-CTLFireability-08 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPPP-PT-C0100N0000000010-CTLFireability-08 750654 m, 150130 m/sec, 6513168 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 GPPP-PT-C0100N0000000010-CTLFireability-08 1396218 m, 129112 m/sec, 12447150 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 GPPP-PT-C0100N0000000010-CTLFireability-08 1963623 m, 113481 m/sec, 17796352 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 GPPP-PT-C0100N0000000010-CTLFireability-08 2541986 m, 115672 m/sec, 23256156 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 GPPP-PT-C0100N0000000010-CTLFireability-08 3091268 m, 109856 m/sec, 28631555 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPPP-PT-C0100N0000000010-CTLFireability-08 3645441 m, 110834 m/sec, 33993312 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPPP-PT-C0100N0000000010-CTLFireability-08 4266702 m, 124252 m/sec, 39888403 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPPP-PT-C0100N0000000010-CTLFireability-08 4833477 m, 113355 m/sec, 45525726 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPPP-PT-C0100N0000000010-CTLFireability-08 5427254 m, 118755 m/sec, 51301595 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPPP-PT-C0100N0000000010-CTLFireability-08 5991012 m, 112751 m/sec, 56903101 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPPP-PT-C0100N0000000010-CTLFireability-08 6562441 m, 114285 m/sec, 62575196 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 GPPP-PT-C0100N0000000010-CTLFireability-08 7134750 m, 114461 m/sec, 68201488 t fired, . in use: 32 for GPPP-PT-C0100N0000000010-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 13 GPPP-PT-C0100N0000000010-CTLFireability-03 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPPP-PT-C0100N0000000010-CTLFireability-03 781005 m, 156201 m/sec, 6007090 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPPP-PT-C0100N0000000010-CTLFireability-03 1482013 m, 140201 m/sec, 11742724 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPPP-PT-C0100N0000000010-CTLFireability-03 2145613 m, 132720 m/sec, 17345043 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPPP-PT-C0100N0000000010-CTLFireability-03 2808799 m, 132637 m/sec, 22968301 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPPP-PT-C0100N0000000010-CTLFireability-03 3457142 m, 129668 m/sec, 28630383 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPPP-PT-C0100N0000000010-CTLFireability-03 4090893 m, 126750 m/sec, 34156446 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 20/32 GPPP-PT-C0100N0000000010-CTLFireability-03 4705350 m, 122891 m/sec, 39582233 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPPP-PT-C0100N0000000010-CTLFireability-03 5309452 m, 120820 m/sec, 44975239 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPPP-PT-C0100N0000000010-CTLFireability-03 5955396 m, 129188 m/sec, 50502163 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPPP-PT-C0100N0000000010-CTLFireability-03 6558899 m, 120700 m/sec, 56026264 t fired, . in use: 32 VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 GPPP-PT-C0100N0000000010-CTLFireability-03 7199584 m, 128137 m/sec, 61212343 t fired, . in use: 32 for GPPP-PT-C0100N0000000010-CTLFireability-03 (memory limit exceeded) VALUE PRODUCED BY CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL 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 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 3 GPPP-PT-C0100N0000000010-CTLFireability-01 for GPPP-PT-C0100N0000000010-CTLFireability-01 431 509 0.000000 1 for 0 GPPP-PT-C0100N0000000010-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 GPPP-PT-C0100N0000000010-CTLFireability-00 270203 m, 54040 m/sec, 6250406 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 GPPP-PT-C0100N0000000010-CTLFireability-00 546932 m, 55345 m/sec, 12124402 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPPP-PT-C0100N0000000010-CTLFireability-00 775610 m, 45735 m/sec, 18017234 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 GPPP-PT-C0100N0000000010-CTLFireability-00 1041880 m, 53254 m/sec, 23886265 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 GPPP-PT-C0100N0000000010-CTLFireability-00 1283903 m, 48404 m/sec, 29658287 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPPP-PT-C0100N0000000010-CTLFireability-00 1517480 m, 46715 m/sec, 35400460 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 GPPP-PT-C0100N0000000010-CTLFireability-00 1748691 m, 46242 m/sec, 41040801 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 GPPP-PT-C0100N0000000010-CTLFireability-00 1990518 m, 48365 m/sec, 46785621 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPPP-PT-C0100N0000000010-CTLFireability-00 2229150 m, 47726 m/sec, 52506040 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 GPPP-PT-C0100N0000000010-CTLFireability-00 2465271 m, 47224 m/sec, 58211757 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPPP-PT-C0100N0000000010-CTLFireability-00 2699308 m, 46807 m/sec, 63923415 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPPP-PT-C0100N0000000010-CTLFireability-00 2936430 m, 47424 m/sec, 69541853 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 GPPP-PT-C0100N0000000010-CTLFireability-00 3161643 m, 45042 m/sec, 75104687 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPPP-PT-C0100N0000000010-CTLFireability-00 3400794 m, 47830 m/sec, 80727838 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPPP-PT-C0100N0000000010-CTLFireability-00 3627279 m, 45297 m/sec, 86263583 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 GPPP-PT-C0100N0000000010-CTLFireability-00 3889841 m, 52512 m/sec, 91815628 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPPP-PT-C0100N0000000010-CTLFireability-00 4096842 m, 41400 m/sec, 97579462 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 GPPP-PT-C0100N0000000010-CTLFireability-00 4326762 m, 45984 m/sec, 103149429 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 GPPP-PT-C0100N0000000010-CTLFireability-00 4554325 m, 45512 m/sec, 108703100 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPPP-PT-C0100N0000000010-CTLFireability-00 4772776 m, 43690 m/sec, 114188904 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 GPPP-PT-C0100N0000000010-CTLFireability-00 5026171 m, 50679 m/sec, 119542174 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPPP-PT-C0100N0000000010-CTLFireability-00 5249197 m, 44605 m/sec, 125195868 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 GPPP-PT-C0100N0000000010-CTLFireability-00 5475601 m, 45280 m/sec, 130698191 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 GPPP-PT-C0100N0000000010-CTLFireability-00 5697360 m, 44351 m/sec, 136179052 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 GPPP-PT-C0100N0000000010-CTLFireability-00 5926262 m, 45780 m/sec, 141569531 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPPP-PT-C0100N0000000010-CTLFireability-00 6161364 m, 47020 m/sec, 147138427 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 GPPP-PT-C0100N0000000010-CTLFireability-00 6387234 m, 45174 m/sec, 152617882 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPPP-PT-C0100N0000000010-CTLFireability-00 6611230 m, 44799 m/sec, 158109000 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 GPPP-PT-C0100N0000000010-CTLFireability-00 6834830 m, 44720 m/sec, 163501788 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 GPPP-PT-C0100N0000000010-CTLFireability-00 7063142 m, 45662 m/sec, 168876488 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 GPPP-PT-C0100N0000000010-CTLFireability-00 7304178 m, 48207 m/sec, 174639735 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPPP-PT-C0100N0000000010-CTLFireability-00 7536172 m, 46398 m/sec, 180280500 t fired, . in use: 32 for GPPP-PT-C0100N0000000010-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 26 GPPP-PT-C0100N0000000010-CTLFireability-06 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPPP-PT-C0100N0000000010-CTLFireability-06 771305 m, 154261 m/sec, 5947119 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPPP-PT-C0100N0000000010-CTLFireability-06 1476521 m, 141043 m/sec, 11765712 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPPP-PT-C0100N0000000010-CTLFireability-06 2144858 m, 133667 m/sec, 17463770 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPPP-PT-C0100N0000000010-CTLFireability-06 2818560 m, 134740 m/sec, 23253588 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPPP-PT-C0100N0000000010-CTLFireability-06 3476483 m, 131584 m/sec, 28916662 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPPP-PT-C0100N0000000010-CTLFireability-06 4132332 m, 131169 m/sec, 34602537 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPPP-PT-C0100N0000000010-CTLFireability-06 4776928 m, 128919 m/sec, 40385362 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPPP-PT-C0100N0000000010-CTLFireability-06 5455761 m, 135766 m/sec, 45916623 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPPP-PT-C0100N0000000010-CTLFireability-06 6132909 m, 135429 m/sec, 51565466 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 GPPP-PT-C0100N0000000010-CTLFireability-06 6760380 m, 125494 m/sec, 57152793 t fired, . in use: 32 VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPPP-PT-C0100N0000000010-CTLFireability-06 7412271 m, 130378 m/sec, 62822475 t fired, . in use: 32 for GPPP-PT-C0100N0000000010-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker CONJ false CTL model checker CONJ false CTL model checker CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 44 GPPP-PT-C0100N0000000010-CTLFireability-12 for GPPP-PT-C0100N0000000010-CTLFireability-12 6 17 0.000000 1 tasks 16 VALUE PRODUCED BY CTL unknown AGGR CTL false CTL model checker CONJ false CTL model checker CTL unknown AGGR CONJ false CTL model checker CTL false CTL model checker CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker DISJ true findpath 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="GPPP-PT-C0100N0000000010"
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-4028"
echo " Executing tool lola"
echo " Input is GPPP-PT-C0100N0000000010, 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 r099-smll-162075328900234"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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