MCC'2021- Execution of r289-tall-162124152100218

About the Execution of LoLA for GPUForwardProgress-PT-32b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
6472.428	563764.00	553086.00	1159.60	??TTT?FT?TT?FTF?	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.r289-tall-
Waiting for the VM to be ready (probing ssh)
............................................
======================
Generated by BenchKit 2-4028
Executing tool lola
Input is GPUForwardProgress-PT-32b,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r289-tall-162124152100
============================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 18K May 15
-rw-r--r-- 1 mcc users 170K May 15
-rw-r--r-- 1 mcc users 13K May 15
-rw-r--r-- 1 mcc users 123K May 15
-rw-r--r-- 1 mcc users 3.5K May 12
-rw-r--r-- 1 mcc users 24K May 12
-rw-r--r-- 1 mcc users 2.1K May 12
-rw-r--r-- 1 mcc users 17K May 12
-rw-r--r-- 1 mcc users 1 May 12
-rw-r--r-- 1 mcc users 3.3K May 11
-rw-r--r-- 1 mcc users 20K May 11
-rw-r--r-- 1 mcc users 1.9K May 11
-rw-r--r-- 1 mcc users 12K May 11
-rw-r--r-- 1 mcc users 1.3K May 12
-rw-r--r-- 1 mcc users 3.4K May 12
-rw-r--r-- 1 mcc users 6 May 12
-rw-r--r-- 1 mcc users 4 May 12
-rw-r--r-- 1 mcc users 6 May 12
-rw-r--r-- 1 mcc users 109K May 12

--------------------
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 GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi
FORMULA_NAME GPUForwardProgress-PT-32b-CTLFi

=== Now, execution of the tool begins

BK_START 1621259483639

starting LoLA
BK_INPUT GPUForwardProgress-PT-32b
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
CTLFireability

FORMULA GPUForwardProgress-PT-32b-CTLFireability-12

FORMULA GPUForwardProgress-PT-32b-CTLFireability-13

FORMULA GPUForwardProgress-PT-32b-CTLFireability-07

FORMULA GPUForwardProgress-PT-32b-CTLFireability-02

FORMULA GPUForwardProgress-PT-32b-CTLFireability-14

FORMULA GPUForwardProgress-PT-32b-CTLFireability-10

FORMULA GPUForwardProgress-PT-32b-CTLFireability-09

FORMULA GPUForwardProgress-PT-32b-CTLFireability-06

FORMULA GPUForwardProgress-PT-32b-CTLFireability-04

FORMULA GPUForwardProgress-PT-32b-CTLFireability-03

BK_STOP 1621260047403

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution
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/execu
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: RELEASE
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
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: 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: 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_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 37 (type EXCL)
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: FINISHED task # 37 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 40 (type EXCL)
lola: time limit : 224 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 48 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 49 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 51 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 51 (type SRCH)
lola: result : unknown
lola: time used :
lola: memory pages used :
lola: FINISHED task # 40 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 50 (type EXCL)
lola: time limit : 239 sec
lola: memory limit: 32 pages
lola: FINISHED task # 50 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 48 (type FNDP)
lola: CANCELED task # 49 (type EQUN)
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: FINISHED task # 48 (type FNDP)
lola: result : true
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: FINISHED task # 49 (type EQUN)
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 4 (type EXCL)
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 52 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: LAUNCH task # 53 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 55 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 55 (type SRCH)
lola: result : unknown
lola: time used :
lola: memory pages used :
lola: FINISHED task # 52 (type FNDP)
lola: result : true
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 53 (type EQUN)
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
sara: try reading problem file /home/mcc/exe
sara: place or transition ordering

lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: FINISHED task # 53 (type EQUN)
lola: result : true
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
lola: rewrite Frontend/Parser/formula_rewr
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 9 secs. Pages in use: 2
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 14 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 19 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 24 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 29 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 34 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 39 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 40/299

Time elapsed: 44 secs. Pages in use: 10
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 45/299

Time elapsed: 49 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 50/299

Time elapsed: 54 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 55/299

Time elapsed: 59 secs. Pages in use: 13
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 60/299

Time elapsed: 64 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 65/299

Time elapsed: 69 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 70/299

Time elapsed: 74 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 75/299

Time elapsed: 79 secs. Pages in use: 18
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 80/299

Time elapsed: 84 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 85/299

Time elapsed: 89 secs. Pages in use: 21
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 90/299

Time elapsed: 94 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 95/299

Time elapsed: 99 secs. Pages in use: 24
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 100/299

Time elapsed: 104 secs. Pages in use: 25
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 105/299

Time elapsed: 109 secs. Pages in use: 27
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 110/299

Time elapsed: 114 secs. Pages in use: 28
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 115/299

Time elapsed: 119 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 120/299

Time elapsed: 124 secs. Pages in use: 31
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 125/299

Time elapsed: 129 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 4 (type EXCL)
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-14:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 134 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 56 (type EXCL)
lola: time limit : 315 sec
lola: memory limit: 32 pages
lola: FINISHED task # 56 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 46 (type EXCL)
lola: time limit : 346 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 5/346

Time elapsed: 139 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 10/346

Time elapsed: 144 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 15/346

Time elapsed: 149 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 20/346

Time elapsed: 154 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 25/346

Time elapsed: 159 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 30/346

Time elapsed: 164 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 35/346

Time elapsed: 169 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 40/346

Time elapsed: 174 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 45/346

Time elapsed: 179 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 50/346

Time elapsed: 184 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
46 CTL EXCL 55/346

Time elapsed: 189 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 46 (type EXCL)
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 194 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 34 (type EXCL)
lola: time limit : 378 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 5/378

Time elapsed: 199 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 10/378

Time elapsed: 204 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 15/378

Time elapsed: 209 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 20/378

Time elapsed: 214 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 25/378

Time elapsed: 219 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 30/378

Time elapsed: 224 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 35/378

Time elapsed: 229 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 40/378

Time elapsed: 234 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 45/378

Time elapsed: 239 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 50/378

Time elapsed: 244 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 55/378

Time elapsed: 249 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 60/378

Time elapsed: 254 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 65/378

Time elapsed: 259 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 70/378

Time elapsed: 264 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 75/378

Time elapsed: 269 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 80/378

Time elapsed: 274 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 85/378

Time elapsed: 279 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 90/378

Time elapsed: 284 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 95/378

Time elapsed: 289 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 100/378

Time elapsed: 294 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 105/378

Time elapsed: 299 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 110/378

Time elapsed: 304 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 115/378

Time elapsed: 309 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 120/378

Time elapsed: 314 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 125/378

Time elapsed: 319 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 130/378

Time elapsed: 324 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 135/378

Time elapsed: 329 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 140/378

Time elapsed: 334 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 145/378

Time elapsed: 339 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 150/378

Time elapsed: 344 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 155/378

Time elapsed: 349 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 160/378

Time elapsed: 354 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 165/378

Time elapsed: 359 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 170/378

Time elapsed: 364 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 175/378

Time elapsed: 369 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 180/378

Time elapsed: 374 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 185/378

Time elapsed: 379 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
34 CTL EXCL 190/378

Time elapsed: 384 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 34 (type EXCL)
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 389 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 31 (type EXCL)
lola: time limit : 401 sec
lola: memory limit: 32 pages
lola: FINISHED task # 31 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 28 (type EXCL)
lola: time limit : 458 sec
lola: memory limit: 32 pages
lola: FINISHED task # 28 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 25 (type EXCL)
lola: time limit : 535 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 5/535

Time elapsed: 394 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 399 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 15/535

Time elapsed: 404 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 20/535

Time elapsed: 409 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 25/535

Time elapsed: 414 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 419 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 35/535

Time elapsed: 424 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 40/535

Time elapsed: 429 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 45/535

Time elapsed: 434 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 50/535

Time elapsed: 439 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 55/535

Time elapsed: 444 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 60/535

Time elapsed: 449 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 65/535

Time elapsed: 454 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 70/535

Time elapsed: 459 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
25 CTL EXCL 75/535

Time elapsed: 464 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 25 (type EXCL)
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 469 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 19 (type EXCL)
lola: time limit : 626 sec
lola: memory limit: 32 pages
lola: FINISHED task # 19 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 16 (type EXCL)
lola: time limit : 782 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 5/782

Time elapsed: 474 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 10/782

Time elapsed: 479 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 15/782

Time elapsed: 484 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 20/782

Time elapsed: 489 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 25/782

Time elapsed: 494 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 30/782

Time elapsed: 499 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
16 CTL EXCL 35/782

Time elapsed: 504 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 16 (type EXCL)
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 509 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 13 (type EXCL)
lola: time limit : 1030 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10 (type EXCL)
lola: time limit : 1545 sec
lola: memory limit: 32 pages
lola: FINISHED task # 10 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 1 (type EXCL)
lola: time limit : 3091 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 514 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 519 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 524 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 529 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 534 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 539 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 544 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 549 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 554 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

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

Time elapsed: 559 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 1 (type EXCL)
FINISHED FORMULA: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-02:
GPUForwardProgress-PT-32b-CTLFireability-03:
GPUForwardProgress-PT-32b-CTLFireability-04:
GPUForwardProgress-PT-32b-CTLFireability-06:
GPUForwardProgress-PT-32b-CTLFireability-07:
GPUForwardProgress-PT-32b-CTLFireability-09:
GPUForwardProgress-PT-32b-CTLFireability-10:
GPUForwardProgress-PT-32b-CTLFireability-12:
GPUForwardProgress-PT-32b-CTLFireability-13:
GPUForwardProgress-PT-32b-CTLFireability-14:

PENDING FORMULAS: CATEGORY
GPUForwardProgress-PT-32b-CTLFireability-00:
GPUForwardProgress-PT-32b-CTLFireability-01:
GPUForwardProgress-PT-32b-CTLFireability-05:
GPUForwardProgress-PT-32b-CTLFireability-08:
GPUForwardProgress-PT-32b-CTLFireability-11:
GPUForwardProgress-PT-32b-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 564 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: Portfolio finished: no open

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

Time elapsed: 564 secs. Pages in use: 32
162124152100218.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =============================================== examination is CTLFireability 218 ========================= 08:57 CTLCardinality.txt 08:57 CTLCardinality.xml 08:57 CTLFireability.txt 08:57 CTLFireability.xml 07:57 LTLCardinality.txt 07:57 LTLCardinality.xml 07:57 LTLFireability.txt 07:57 LTLFireability.xml 08:13 NewModel 18:31 ReachabilityCardinality.txt 18:31 ReachabilityCardinality.xml 15:43 ReachabilityFireability.txt 15:43 ReachabilityFireability.xml 04:40 UpperBounds.txt 04:40 UpperBounds.xml 08:13 equiv_col 08:13 instance 08:13 iscolored 08:13 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 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 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT /model.pnml net model.pnml tion/CTLFireability.xml ite.k:325 ite.k:334 ite.k:296 ite.k:317 ite.k:325 ite.k:337 ite.k:314 ite.k:296 ite.k:322 ite.k:331 ite.k:296 ite.k:314 ite.k:296 ite.k:317 ite.k:296 ite.k:325 ite.k:328 ite.k:296 ite.k:325 ite.k:328 ite.k:322 ite.k:334 ite.k:299 ite.k:314 ite.k:325 ite.k:334 ite.k:296 ite.k:296 ite.k:325 ite.k:337 ite.k:296 ite.k:325 ite.k:337 ite.k:296 ite.k:296 ite.k:314 ite.k:325 ite.k:331 ite.k:296 ite.k:314 ite.k:296 ite.k:322 ite.k:331 ite.k:322 ite.k:334 ite.k:296 ite.k:322 ite.k:337 ite.k:296 ite.k:296 ite.k:250 ite.k:253 ite.k:314 ite.k:296 ite.k:322 ite.k:337 ite.k:296 ite.k:296 ite.k:250 ite.k:253 ite.k:448 ite.k:472 ite.k:451 ite.k:451 ite.k:478 ite.k:448 ite.k:253 ite.k:457 ite.k:253 ite.k:253 ite.k:253 ite.k:253 ite.k:253 ite.k:322 ite.k:337 ite.k:325 ite.k:331 ite.k:296 ite.k:317 ite.k:325 ite.k:328 ite.k:296 ite.k:314 ite.k:325 ite.k:328 ite.k:296 ite.k:325 ite.k:337 ite.k:296 ite.k:296 ite.k:322 ite.k:334 ite.k:325 ite.k:340 ite.k:322 ite.k:328 ite.k:299 ite.k:314 ite.k:322 ite.k:331 ite.k:299 ite.k:317 ite.k:322 ite.k:331 ite.k:299 ite.k:322 ite.k:340 ite.k:299 ite.k:299 ite.k:400 ite.k:394 ite.k:322 ite.k:331 ite.k:317 ite.k:314 ite.k:325 ite.k:331 ite.k:296 ite.k:296 ite.k:325 ite.k:334 ite.k:325 ite.k:331 ite.k:296 ite.k:250 ite.k:451 ite.k:448 ite.k:448 ite.k:325 ite.k:328 ite.k:296 ite.k:250 ite.k:325 ite.k:334 ite.k:296 ite.k:253 ite.k:250 ite.k:250 ite.k:250 ite.k:250 ite.k:250 ite.k:250 ite.k:550 ite.k:550 ite.k:550 ite.k:314 ite.k:322 ite.k:334 ite.k:296 ite.k:314 ite.k:322 ite.k:334 ite.k:322 ite.k:337 ite.k:296 ite.k:296 ite.k:314 ite.k:322 ite.k:334 ite.k:296 ite.k:322 ite.k:334 ite.k:322 ite.k:337 ite.k:296 ite.k:296 ite.k:314 ite.k:322 ite.k:328 ite.k:296 ite.k:325 ite.k:337 ite.k:296 ite.k:296 ite.k:317 ite.k:325 ite.k:331 ite.k:299 ite.k:322 ite.k:340 ite.k:299 ite.k:299 ite.k:400 ite.k:325 ite.k:328 ite.k:322 ite.k:334 ite.k:322 ite.k:334 ite.k:296 ite.k:478 ite.k:325 ite.k:328 ite.k:296 ite.k:547 ite.k:445 ite.k:547 ite.k:445 ite.k:454 ite.k:253 ite.k:325 ite.k:331 ite.k:296 ite.k:253 ite.k:317 ite.k:296 ite.k:317 ite.k:325 ite.k:328 ite.k:296 ite.k:325 ite.k:331 ite.k:296 ite.k:317 ite.k:325 ite.k:328 ite.k:317 ite.k:296 ite.k:322 ite.k:328 ite.k:299 ite.k:325 ite.k:337 ite.k:314 ite.k:299 ite.k:314 ite.k:322 ite.k:331 ite.k:299 ite.k:322 ite.k:328 ite.k:299 ite.k:296 ite.k:325 ite.k:331 ite.k:322 ite.k:337 ite.k:322 ite.k:334 ite.k:325 ite.k:331 ite.k:296 ite.k:314 ite.k:317 ite.k:314 ite.k:322 ite.k:337 ite.k:296 ite.k:296 ite.k:296 ite.k:296 ite.k:322 ite.k:337 ite.k:296 ite.k:325 ite.k:328 ite.k:296 places removed ite.k:813 ite.k:806 ite.k:811 ite.k:813 ite.k:809 ite.k:711 ite.k:806 ite.k:813 ite.k:811 ite.k:806 ite.k:806 ite.k:806 ite.k:811 ite.k:808 ite.k:806 ite.k:815 for 36 GPUForwardProgress-PT-32b-CTLFireability-12 for GPUForwardProgress-PT-32b-CTLFireability-12 27 29 0.000000 1 ite.k:711 for 39 GPUForwardProgress-PT-32b-CTLFireability-13 ite.k:711 for 21 GPUForwardProgress-PT-32b-CTLFireability-07 for 21 GPUForwardProgress-PT-32b-CTLFireability-07 ite.k:711 for 21 GPUForwardProgress-PT-32b-CTLFireability-07 for GPUForwardProgress-PT-32b-CTLFireability-07 0.000000 1 for GPUForwardProgress-PT-32b-CTLFireability-13 72 78 0.000000 1 for 21 GPUForwardProgress-PT-32b-CTLFireability-07 for GPUForwardProgress-PT-32b-CTLFireability-07 2 1 0.000000 1 for GPUForwardProgress-PT-32b-CTLFireability-07 (obsolete) for GPUForwardProgress-PT-32b-CTLFireability-07 (obsolete) ite.k:812 ite.k:813 ite.k:815 ite.k:815 ite.k:813 ite.k:813 ite.k:807 ite.k:808 ite.k:810 ite.k:811 ite.k:809 ite.k:813 ite.k:814 for GPUForwardProgress-PT-32b-CTLFireability-07 1 0.000000 0 for GPUForwardProgress-PT-32b-CTLFireability-07 ite.k:808 ite.k:811 ite.k:815 ite.k:807 ite.k:811 ite.k:808 ite.k:711 for 3 GPUForwardProgress-PT-32b-CTLFireability-01 ite.k:711 ite.k:807 ite.k:814 ite.k:808 ite.k:811 ite.k:711 ite.k:806 ite.k:808 ite.k:808 ite.k:809 for 6 GPUForwardProgress-PT-32b-CTLFireability-02 ite.k:814 ite.k:807 for 6 GPUForwardProgress-PT-32b-CTLFireability-02 for 6 GPUForwardProgress-PT-32b-CTLFireability-02 for GPUForwardProgress-PT-32b-CTLFireability-02 0.000000 1 for GPUForwardProgress-PT-32b-CTLFireability-02 1 0.000000 0 for GPUForwardProgress-PT-32b-CTLFireability-02 (obsolete) ite.k:813 ite.k:813 ite.k:812 ite.k:808 ite.k:809 ite.k:807 ite.k:807 ite.k:811 ite.k:806 ite.k:807 ite.k:811 ite.k:808 ite.k:806 ite.k:808 ite.k:814 ite.k:711 ite.k:809 ite.k:806 ite.k:807 ite.k:813 ite.k:808 cution/CTLFireability-53.sara. is non-deterministic ite.k:814 ite.k:813 ite.k:807 ite.k:811 ite.k:806 ite.k:812 ite.k:808 ite.k:814 ite.k:814 ite.k:806 ite.k:811 ite.k:809 ite.k:806 ite.k:806 ite.k:813 ite.k:809 ite.k:807 ite.k:809 ite.k:807 for GPUForwardProgress-PT-32b-CTLFireability-02 ite.k:807 ite.k:810 ite.k:807 ite.k:807 ite.k:810 ite.k:807 ite.k:813 ite.k:809 ite.k:806 ite.k:808 ite.k:814 ite.k:809 ite.k:813 ite.k:807 ite.k:810 ite.k:811 ite.k:810 ite.k:810 ite.k:813 ite.k:813 ite.k:811 ite.k:808 ite.k:812 ite.k:807 ite.k:807 ite.k:811 ite.k:754 ite.k:787 VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 GPUForwardProgress-PT-32b-CTLFireability-01 294368 m, 58873 m/sec, 1616388 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 GPUForwardProgress-PT-32b-CTLFireability-01 584252 m, 57976 m/sec, 3444599 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPUForwardProgress-PT-32b-CTLFireability-01 864872 m, 56124 m/sec, 5293114 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 GPUForwardProgress-PT-32b-CTLFireability-01 1142433 m, 55512 m/sec, 7142937 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPUForwardProgress-PT-32b-CTLFireability-01 1406898 m, 52893 m/sec, 8998736 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 GPUForwardProgress-PT-32b-CTLFireability-01 1672893 m, 53199 m/sec, 10853977 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 GPUForwardProgress-PT-32b-CTLFireability-01 1947389 m, 54899 m/sec, 12695963 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPUForwardProgress-PT-32b-CTLFireability-01 2216812 m, 53884 m/sec, 14546462 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 GPUForwardProgress-PT-32b-CTLFireability-01 2475955 m, 51828 m/sec, 16404099 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPUForwardProgress-PT-32b-CTLFireability-01 2725562 m, 49921 m/sec, 18271619 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPUForwardProgress-PT-32b-CTLFireability-01 2972944 m, 49476 m/sec, 20141369 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPUForwardProgress-PT-32b-CTLFireability-01 3236352 m, 52681 m/sec, 22038687 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPUForwardProgress-PT-32b-CTLFireability-01 3531178 m, 58965 m/sec, 23979081 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 GPUForwardProgress-PT-32b-CTLFireability-01 3811689 m, 56102 m/sec, 25921930 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPUForwardProgress-PT-32b-CTLFireability-01 4086804 m, 55023 m/sec, 27864285 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 GPUForwardProgress-PT-32b-CTLFireability-01 4354062 m, 53451 m/sec, 29815361 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPUForwardProgress-PT-32b-CTLFireability-01 4604505 m, 50088 m/sec, 31772042 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 GPUForwardProgress-PT-32b-CTLFireability-01 4938241 m, 66747 m/sec, 33537840 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 GPUForwardProgress-PT-32b-CTLFireability-01 5291307 m, 70613 m/sec, 35232383 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 GPUForwardProgress-PT-32b-CTLFireability-01 5654653 m, 72669 m/sec, 36922181 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 GPUForwardProgress-PT-32b-CTLFireability-01 6008802 m, 70829 m/sec, 38616461 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPUForwardProgress-PT-32b-CTLFireability-01 6371865 m, 72612 m/sec, 40313815 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 GPUForwardProgress-PT-32b-CTLFireability-01 6731483 m, 71923 m/sec, 42026535 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 GPUForwardProgress-PT-32b-CTLFireability-01 7047385 m, 63180 m/sec, 43866183 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPUForwardProgress-PT-32b-CTLFireability-01 7316495 m, 53822 m/sec, 45814285 t fired, . for GPUForwardProgress-PT-32b-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AXAF 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS for 42 GPUForwardProgress-PT-32b-CTLFireability-14 for GPUForwardProgress-PT-32b-CTLFireability-14 281 281 0.000000 1 for 45 GPUForwardProgress-PT-32b-CTLFireability-15 VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 GPUForwardProgress-PT-32b-CTLFireability-15 865595 m, 173119 m/sec, 1724381 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 GPUForwardProgress-PT-32b-CTLFireability-15 1521777 m, 131236 m/sec, 3446635 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPUForwardProgress-PT-32b-CTLFireability-15 2162943 m, 128233 m/sec, 5172900 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPUForwardProgress-PT-32b-CTLFireability-15 2790393 m, 125490 m/sec, 6897692 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPUForwardProgress-PT-32b-CTLFireability-15 3415940 m, 125109 m/sec, 8620153 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPUForwardProgress-PT-32b-CTLFireability-15 4025019 m, 121815 m/sec, 10347986 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPUForwardProgress-PT-32b-CTLFireability-15 4602959 m, 115588 m/sec, 12081427 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 GPUForwardProgress-PT-32b-CTLFireability-15 5246217 m, 128651 m/sec, 13794956 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPUForwardProgress-PT-32b-CTLFireability-15 5860227 m, 122802 m/sec, 15518296 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 GPUForwardProgress-PT-32b-CTLFireability-15 6457901 m, 119534 m/sec, 17243078 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPUForwardProgress-PT-32b-CTLFireability-15 7049806 m, 118381 m/sec, 18966108 t fired, . for GPUForwardProgress-PT-32b-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS for 33 GPUForwardProgress-PT-32b-CTLFireability-11 VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 GPUForwardProgress-PT-32b-CTLFireability-11 200293 m, 40058 m/sec, 782112 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 GPUForwardProgress-PT-32b-CTLFireability-11 384618 m, 36865 m/sec, 1566790 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 GPUForwardProgress-PT-32b-CTLFireability-11 569478 m, 36972 m/sec, 2351567 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPUForwardProgress-PT-32b-CTLFireability-11 755170 m, 37138 m/sec, 3139950 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 GPUForwardProgress-PT-32b-CTLFireability-11 935265 m, 36019 m/sec, 3937446 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 GPUForwardProgress-PT-32b-CTLFireability-11 1098717 m, 32690 m/sec, 4738287 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPUForwardProgress-PT-32b-CTLFireability-11 1260478 m, 32352 m/sec, 5539138 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 GPUForwardProgress-PT-32b-CTLFireability-11 1423823 m, 32669 m/sec, 6339822 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 GPUForwardProgress-PT-32b-CTLFireability-11 1590016 m, 33238 m/sec, 7142614 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 GPUForwardProgress-PT-32b-CTLFireability-11 1761703 m, 34337 m/sec, 7938585 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPUForwardProgress-PT-32b-CTLFireability-11 1924257 m, 32510 m/sec, 8735180 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 GPUForwardProgress-PT-32b-CTLFireability-11 2086810 m, 32510 m/sec, 9531773 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPUForwardProgress-PT-32b-CTLFireability-11 2247577 m, 32153 m/sec, 10327485 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPUForwardProgress-PT-32b-CTLFireability-11 2417982 m, 34081 m/sec, 11124040 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPUForwardProgress-PT-32b-CTLFireability-11 2585767 m, 33557 m/sec, 11919630 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 GPUForwardProgress-PT-32b-CTLFireability-11 2746539 m, 32154 m/sec, 12715486 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPUForwardProgress-PT-32b-CTLFireability-11 2908845 m, 32461 m/sec, 13510811 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPUForwardProgress-PT-32b-CTLFireability-11 3071624 m, 32555 m/sec, 14308569 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 GPUForwardProgress-PT-32b-CTLFireability-11 3246028 m, 34880 m/sec, 15104763 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPUForwardProgress-PT-32b-CTLFireability-11 3408361 m, 32466 m/sec, 15901554 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPUForwardProgress-PT-32b-CTLFireability-11 3570805 m, 32488 m/sec, 16697582 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 GPUForwardProgress-PT-32b-CTLFireability-11 3731625 m, 32164 m/sec, 17493554 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 GPUForwardProgress-PT-32b-CTLFireability-11 3894523 m, 32579 m/sec, 18291944 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPUForwardProgress-PT-32b-CTLFireability-11 4070042 m, 35103 m/sec, 19086895 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 GPUForwardProgress-PT-32b-CTLFireability-11 4231741 m, 32339 m/sec, 19884423 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPUForwardProgress-PT-32b-CTLFireability-11 4393639 m, 32379 m/sec, 20680611 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPUForwardProgress-PT-32b-CTLFireability-11 4556191 m, 32510 m/sec, 21477207 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 GPUForwardProgress-PT-32b-CTLFireability-11 4717929 m, 32347 m/sec, 22277914 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 GPUForwardProgress-PT-32b-CTLFireability-11 4893448 m, 35103 m/sec, 23072870 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPUForwardProgress-PT-32b-CTLFireability-11 5056112 m, 32532 m/sec, 23870045 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 GPUForwardProgress-PT-32b-CTLFireability-11 5218314 m, 32440 m/sec, 24667688 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 GPUForwardProgress-PT-32b-CTLFireability-11 5380109 m, 32359 m/sec, 25465830 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPUForwardProgress-PT-32b-CTLFireability-11 5549544 m, 33887 m/sec, 26266900 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 GPUForwardProgress-PT-32b-CTLFireability-11 5720361 m, 34163 m/sec, 27068475 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 GPUForwardProgress-PT-32b-CTLFireability-11 5882439 m, 32415 m/sec, 27870868 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 GPUForwardProgress-PT-32b-CTLFireability-11 6045958 m, 32703 m/sec, 28672387 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPUForwardProgress-PT-32b-CTLFireability-11 6210122 m, 32832 m/sec, 29476221 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPUForwardProgress-PT-32b-CTLFireability-11 6384099 m, 34795 m/sec, 30276327 t fired, . for GPUForwardProgress-PT-32b-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY EF true findpath EF true state space CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 MEM PG/PGLIMIT FORMULA STATUS for 30 GPUForwardProgress-PT-32b-CTLFireability-10 for GPUForwardProgress-PT-32b-CTLFireability-10 175 180 0.000000 1 for 27 GPUForwardProgress-PT-32b-CTLFireability-09 for GPUForwardProgress-PT-32b-CTLFireability-09 264 265 0.000000 1 for 24 GPUForwardProgress-PT-32b-CTLFireability-08 VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 GPUForwardProgress-PT-32b-CTLFireability-08 463690 m, 92738 m/sec, 1558877 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 GPUForwardProgress-PT-32b-CTLFireability-08 925886 m, 92439 m/sec, 3116325 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPUForwardProgress-PT-32b-CTLFireability-08 1365886 m, 88000 m/sec, 4614554 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 GPUForwardProgress-PT-32b-CTLFireability-08 1760263 m, 78875 m/sec, 6246635 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 GPUForwardProgress-PT-32b-CTLFireability-08 2139032 m, 75753 m/sec, 7954555 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 GPUForwardProgress-PT-32b-CTLFireability-08 2476494 m, 67492 m/sec, 9659469 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPUForwardProgress-PT-32b-CTLFireability-08 2822881 m, 69277 m/sec, 11369856 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 GPUForwardProgress-PT-32b-CTLFireability-08 3160088 m, 67441 m/sec, 13074850 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 GPUForwardProgress-PT-32b-CTLFireability-08 3506032 m, 69188 m/sec, 14783624 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 GPUForwardProgress-PT-32b-CTLFireability-08 3845874 m, 67968 m/sec, 16490939 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 GPUForwardProgress-PT-32b-CTLFireability-08 4189115 m, 68648 m/sec, 18197077 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 GPUForwardProgress-PT-32b-CTLFireability-08 4535907 m, 69358 m/sec, 19908841 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 GPUForwardProgress-PT-32b-CTLFireability-08 4875116 m, 67841 m/sec, 21618368 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 GPUForwardProgress-PT-32b-CTLFireability-08 5221275 m, 69231 m/sec, 23333304 t fired, . VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 GPUForwardProgress-PT-32b-CTLFireability-08 5560782 m, 67901 m/sec, 25048120 t fired, . for GPUForwardProgress-PT-32b-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY EF true findpath EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 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 MEM PG/PGLIMIT FORMULA STATUS for 18 GPUForwardProgress-PT-32b-CTLFireability-06 for GPUForwardProgress-PT-32b-CTLFireability-06 1475 1661 0.000000 1 for 15 GPUForwardProgress-PT-32b-CTLFireability-05 VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 6/32 GPUForwardProgress-PT-32b-CTLFireability-05 659326 m, 131865 m/sec, 2264960 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPUForwardProgress-PT-32b-CTLFireability-05 1253452 m, 118825 m/sec, 4501590 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 GPUForwardProgress-PT-32b-CTLFireability-05 1842871 m, 117883 m/sec, 6732634 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 19/32 GPUForwardProgress-PT-32b-CTLFireability-05 2380582 m, 107542 m/sec, 8965556 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 GPUForwardProgress-PT-32b-CTLFireability-05 2949501 m, 113783 m/sec, 11196159 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 27/32 GPUForwardProgress-PT-32b-CTLFireability-05 3512909 m, 112681 m/sec, 13465541 t fired, . VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 GPUForwardProgress-PT-32b-CTLFireability-05 4046678 m, 106753 m/sec, 15704087 t fired, . for GPUForwardProgress-PT-32b-CTLFireability-05 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS for 12 GPUForwardProgress-PT-32b-CTLFireability-04 for GPUForwardProgress-PT-32b-CTLFireability-04 4966 5663 0.000000 1 for 9 GPUForwardProgress-PT-32b-CTLFireability-03 for GPUForwardProgress-PT-32b-CTLFireability-03 301 318 0.000000 1 for 0 GPUForwardProgress-PT-32b-CTLFireability-00 VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 GPUForwardProgress-PT-32b-CTLFireability-00 648079 m, 129615 m/sec, 1482556 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 GPUForwardProgress-PT-32b-CTLFireability-00 1273875 m, 125159 m/sec, 2977539 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 GPUForwardProgress-PT-32b-CTLFireability-00 1902462 m, 125717 m/sec, 4479490 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 GPUForwardProgress-PT-32b-CTLFireability-00 2480491 m, 115605 m/sec, 5985861 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 GPUForwardProgress-PT-32b-CTLFireability-00 3037897 m, 111481 m/sec, 7474641 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 GPUForwardProgress-PT-32b-CTLFireability-00 3594434 m, 111307 m/sec, 8968302 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 GPUForwardProgress-PT-32b-CTLFireability-00 4176095 m, 116332 m/sec, 10457227 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 GPUForwardProgress-PT-32b-CTLFireability-00 4730933 m, 110967 m/sec, 11947261 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 GPUForwardProgress-PT-32b-CTLFireability-00 5287114 m, 111236 m/sec, 13436713 t fired, . VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 GPUForwardProgress-PT-32b-CTLFireability-00 5866890 m, 115955 m/sec, 14923659 t fired, . for GPUForwardProgress-PT-32b-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY EF true findpath CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true state space CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG 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 MEM PG/PGLIMIT FORMULA STATUS tasks 16 VALUE PRODUCED BY CTL unknown AGGR CTL unknown AGGR EF true findpath CTL true CTL model checker CTL true CTL model checker CTL unknown AGGR CTL false CTL model checker EF true state space CTL unknown AGGR CTL true CTL model checker CTL true CTL model checker CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker AXAF false state space /EXEG CTL unknown AGGR

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="GPUForwardProgress-PT-32b"
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 GPUForwardProgress-PT-32b, 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 r289-tall-162124152100218"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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