MCC'2021- Execution of r270-smll-162123877400202

About the Execution of LoLA for UtahNoC-PT-none

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5479.655	497189.00	493022.00	1357.20	T?FT?T?T??T?FTTF	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.
Waiting for the VM to be
..................................
============
Generated by BenchKit 2-4028
Executing tool lola
Input is UtahNoC-PT-none,
Time confinement is 3600
Memory confinement is
Number of cores is 4
Run identifier is r270-smll-16
==================================

--------------------
preparation of the directory
/home/mcc/execution
total 564K
-rw-r--r-- 1 mcc users 14K May
-rw-r--r-- 1 mcc users 136K
-rw-r--r-- 1 mcc users 6.9K May
-rw-r--r-- 1 mcc users 60K
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.1K May
-rw-r--r-- 1 mcc users 3.4K
-rw-r--r-- 1 mcc users 26K
-rw-r--r-- 1 mcc users 1.9K
-rw-r--r-- 1 mcc users 16K
-rw-r--r-- 1 mcc users 3.6K
-rw-r--r-- 1 mcc users 19K
-rw-r--r-- 1 mcc users 2.8K
-rw-r--r-- 1 mcc users 18K
-rw-r--r-- 1 mcc users 1.6K
-rw-r--r-- 1 mcc users 3.6K
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 205K May

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

=== Data for post analysis

The expected result is a
BOOL_VECTOR

here is the order used to
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi
FORMULA_NAME UtahNoC-PT-none-CTLFi

=== Now, execution of the

BK_START 1621396085528

starting LoLA
BK_INPUT UtahNoC-PT-none
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/
current directory: /home/mcc/execu
CTLFireability

FORMULA UtahNoC-PT-none-CTLFireability-13

FORMULA UtahNoC-PT-none-CTLFireability-12

FORMULA UtahNoC-PT-none-CTLFireability-10

FORMULA UtahNoC-PT-none-CTLFireability-05

FORMULA UtahNoC-PT-none-CTLFireability-03

FORMULA UtahNoC-PT-none-CTLFireability-14

FORMULA UtahNoC-PT-none-CTLFireability-15

FORMULA UtahNoC-PT-none-CTLFireability-00

FORMULA UtahNoC-PT-none-CTLFireability-07

FORMULA UtahNoC-PT-none-CTLFireability-02

BK_STOP 1621396582717

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file /home/mcc/
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula from
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: RELEASE
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: LAUNCH task # 56
lola: time limit : 199 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
lola: rewrite Frontend/Parser/fo
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 4/199

Time elapsed: 6 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 9/199

Time elapsed: 11 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 14/199

Time elapsed: 16 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 19/199

Time elapsed: 21 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 24/199

Time elapsed: 26 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 29/199

Time elapsed: 31 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 34/199

Time elapsed: 36 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 39/199

Time elapsed: 41 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 44/199

Time elapsed: 46 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 49/199

Time elapsed: 51 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 54/199

Time elapsed: 56 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 59/199

Time elapsed: 61 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 64/199

Time elapsed: 66 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 69/199

Time elapsed: 71 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 74/199

Time elapsed: 76 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 79/199

Time elapsed: 81 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 84/199

Time elapsed: 86 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 89/199

Time elapsed: 91 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT
56 AGEF EXCL 94/199

Time elapsed: 96 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 56
FINISHED FORMULA: CATEGORY

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 101 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 54
lola: time limit : 205 sec
lola: memory limit: 32 pages
lola: FINISHED task # 54
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 44
lola: time limit : 218 sec
lola: memory limit: 32 pages
lola: FINISHED task # 44
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 41
lola: time limit : 233 sec
lola: memory limit: 32 pages
lola: FINISHED task # 41
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 35
lola: time limit : 249 sec
lola: memory limit: 32 pages
lola: FINISHED task # 35
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 32
lola: time limit : 269 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 5/269

Time elapsed: 106 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 10/269

Time elapsed: 111 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 15/269

Time elapsed: 116 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 20/269

Time elapsed: 121 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

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

Time elapsed: 126 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 30/269

Time elapsed: 131 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 35/269

Time elapsed: 136 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 40/269

Time elapsed: 141 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 45/269

Time elapsed: 146 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 50/269

Time elapsed: 151 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 55/269

Time elapsed: 156 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 60/269

Time elapsed: 161 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 65/269

Time elapsed: 166 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 70/269

Time elapsed: 171 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 75/269

Time elapsed: 176 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 80/269

Time elapsed: 181 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
32 CTL EXCL 85/269

Time elapsed: 186 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 32
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 191 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 23
lola: time limit : 284 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 5/284

Time elapsed: 196 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 10/284

Time elapsed: 201 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 15/284

Time elapsed: 206 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 20/284

Time elapsed: 211 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 25/284

Time elapsed: 216 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 30/284

Time elapsed: 221 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 35/284

Time elapsed: 226 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 40/284

Time elapsed: 231 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 45/284

Time elapsed: 236 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 CTL EXCL 50/284

Time elapsed: 241 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 23
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 246 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 20
lola: time limit : 304 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 CTL EXCL 5/304

Time elapsed: 251 secs.
# running tasks: 1 of 4 Visible:
lola: FINISHED task # 20
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 17
lola: time limit : 334 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 2/334

Time elapsed: 256 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 7/334

Time elapsed: 261 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 12/334

Time elapsed: 266 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 17/334

Time elapsed: 271 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 22/334

Time elapsed: 276 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 27/334

Time elapsed: 281 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 32/334

Time elapsed: 286 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 37/334

Time elapsed: 291 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
17 CTL EXCL 42/334

Time elapsed: 296 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 17
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 301 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 14
lola: time limit : 366 sec
lola: memory limit: 32 pages
lola: FINISHED task # 14
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 8 (type
lola: time limit : 412 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 4/412

Time elapsed: 306 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 9/412

Time elapsed: 311 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 14/412

Time elapsed: 316 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 19/412

Time elapsed: 321 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 24/412

Time elapsed: 326 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 29/412

Time elapsed: 331 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 34/412

Time elapsed: 336 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 39/412

Time elapsed: 341 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 44/412

Time elapsed: 346 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 49/412

Time elapsed: 351 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 54/412

Time elapsed: 356 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 59/412

Time elapsed: 361 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 64/412

Time elapsed: 366 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 69/412

Time elapsed: 371 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 74/412

Time elapsed: 376 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 79/412

Time elapsed: 381 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
8 CTL EXCL 84/412

Time elapsed: 386 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 8
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 391 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 5 (type
lola: time limit : 458 sec
lola: memory limit: 32 pages
lola: FINISHED task # 5
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 47
lola: time limit : 534 sec
lola: memory limit: 32 pages
lola: FINISHED task # 47
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 52
lola: time limit : 641 sec
lola: memory limit: 32 pages
lola: FINISHED task # 52
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 3 (type
lola: time limit : 802 sec
lola: memory limit: 32 pages
lola: FINISHED task # 3
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 26
lola: time limit : 1069 sec
lola: memory limit: 32 pages
lola: FINISHED task # 26
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 38
lola: time limit : 1604 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 5/1604

Time elapsed: 396 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 10/1604

Time elapsed: 401 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 15/1604

Time elapsed: 406 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 20/1604

Time elapsed: 411 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 25/1604

Time elapsed: 416 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 30/1604

Time elapsed: 421 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 35/1604

Time elapsed: 426 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 40/1604

Time elapsed: 431 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 45/1604

Time elapsed: 436 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 50/1604

Time elapsed: 441 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 55/1604

Time elapsed: 446 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 60/1604

Time elapsed: 451 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 65/1604

Time elapsed: 456 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 70/1604

Time elapsed: 461 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 75/1604

Time elapsed: 466 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 80/1604

Time elapsed: 471 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 85/1604

Time elapsed: 476 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 90/1604

Time elapsed: 481 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 95/1604

Time elapsed: 486 secs.
# running tasks: 1 of 4 Visible:
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT
38 CTL EXCL 100/1604

Time elapsed: 491 secs.
# running tasks: 1 of 4 Visible:
lola: CANCELED task # 38
FINISHED FORMULA: CATEGORY
UtahNoC-PT-none-CTLFireability-00:
UtahNoC-PT-none-CTLFireability-03:
UtahNoC-PT-none-CTLFireability-05:
UtahNoC-PT-none-CTLFireability-07:
UtahNoC-PT-none-CTLFireability-10:
UtahNoC-PT-none-CTLFireability-12:
UtahNoC-PT-none-CTLFireability-13:
UtahNoC-PT-none-CTLFireability-14:
UtahNoC-PT-none-CTLFireability-15:

PENDING FORMULAS: CATEGORY
UtahNoC-PT-none-CTLFireability-01:
UtahNoC-PT-none-CTLFireability-02:
UtahNoC-PT-none-CTLFireability-04:
UtahNoC-PT-none-CTLFireability-06:
UtahNoC-PT-none-CTLFireability-08:
UtahNoC-PT-none-CTLFireability-09:
UtahNoC-PT-none-CTLFireability-11:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 496 secs.
# running tasks: 1 of 4 Visible:
lola: LAUNCH task # 11
lola: time limit : 3104 sec
lola: memory limit: 32 pages
lola: FINISHED task # 11
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished:

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

Time elapsed: 497 secs.
r270-smll-162123877400202.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ready (probing ssh) .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ========================================================= examination is CTLFireability seconds 16384 MBytes 2123877400202 =================================== to be used: 5 16:58 CTLCardinality.txt May 10 09:44 CTLCardinality.xml 5 16:58 CTLFireability.txt May 10 09:44 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml Mar 28 16:47 LTLCardinality.txt Mar 28 16:47 LTLCardinality.xml Mar 28 16:47 LTLFireability.txt Mar 28 16:47 LTLFireability.xml Mar 27 14:37 ReachabilityCardinality.txt Mar 27 14:37 ReachabilityCardinality.xml Mar 26 05:36 ReachabilityFireability.txt Mar 26 05:36 ReachabilityFireability.xml Mar 22 08:16 UpperBounds.txt Mar 22 08:16 UpperBounds.xml 6 May 5 16:52 equiv_col 5 May 5 16:52 instance 6 May 5 16:52 iscolored 5 16:52 model.pnml generated by BenchKit (invocation template) vector of booleans build the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 tool begins bin tion 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 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 (--pnmlnet) /home/mcc/execution/model.pnml place/transition net execution/model.pnml (--xmlformula) /home/mcc/execution/CTLFireability.xml rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:340 rmula_rewrite.k:299 rmula_rewrite.k:299 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:314 rmula_rewrite.k:299 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:299 rmula_rewrite.k:250 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:250 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:463 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:445 rmula_rewrite.k:394 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:448 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:553 rmula_rewrite.k:445 rmula_rewrite.k:439 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:454 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:547 rmula_rewrite.k:544 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:253 rmula_rewrite.k:317 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:337 rmula_rewrite.k:296 rmula_rewrite.k:296 rmula_rewrite.k:544 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:550 rmula_rewrite.k:314 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:322 rmula_rewrite.k:337 rmula_rewrite.k:317 rmula_rewrite.k:322 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:299 rmula_rewrite.k:317 rmula_rewrite.k:314 rmula_rewrite.k:296 rmula_rewrite.k:322 rmula_rewrite.k:331 rmula_rewrite.k:296 rmula_rewrite.k:325 rmula_rewrite.k:334 rmula_rewrite.k:296 rmula_rewrite.k:314 rmula_rewrite.k:317 rmula_rewrite.k:299 rmula_rewrite.k:325 rmula_rewrite.k:328 rmula_rewrite.k:299 rmula_rewrite.k:322 rmula_rewrite.k:334 rmula_rewrite.k:299 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. rmula_rewrite.k:726 rmula_rewrite.k:788 (type EXCL) for 28 UtahNoC-PT-none-CTLFireability-08 rmula_rewrite.k:815 rmula_rewrite.k:806 rmula_rewrite.k:815 rmula_rewrite.k:806 rmula_rewrite.k:815 rmula_rewrite.k:813 rmula_rewrite.k:809 rmula_rewrite.k:811 rmula_rewrite.k:806 rmula_rewrite.k:809 rmula_rewrite.k:813 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:814 rmula_rewrite.k:806 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:814 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:808 rmula_rewrite.k:814 rmula_rewrite.k:811 rmula_rewrite.k:812 rmula_rewrite.k:807 rmula_rewrite.k:807 rmula_rewrite.k:808 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:811 rmula_rewrite.k:809 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:809 rmula_rewrite.k:815 rmula_rewrite.k:812 rmula_rewrite.k:814 rmula_rewrite.k:813 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:810 rmula_rewrite.k:807 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:806 rmula_rewrite.k:812 rmula_rewrite.k:811 rmula_rewrite.k:807 rmula_rewrite.k:808 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:807 rmula_rewrite.k:812 rmula_rewrite.k:815 rmula_rewrite.k:807 rmula_rewrite.k:810 rmula_rewrite.k:810 rmula_rewrite.k:812 rmula_rewrite.k:815 rmula_rewrite.k:806 rmula_rewrite.k:807 rmula_rewrite.k:806 rmula_rewrite.k:813 rmula_rewrite.k:806 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 UtahNoC-PT-none-CTLFireability-08 343553 m, 68710 m/sec, 686234 t fired, . Pages in use: 2 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 UtahNoC-PT-none-CTLFireability-08 869568 m, 105203 m/sec, 1799110 t fired, . Pages in use: 4 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 UtahNoC-PT-none-CTLFireability-08 1323017 m, 90689 m/sec, 2768249 t fired, . Pages in use: 6 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 UtahNoC-PT-none-CTLFireability-08 1772790 m, 89954 m/sec, 3750171 t fired, . Pages in use: 7 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 UtahNoC-PT-none-CTLFireability-08 2212194 m, 87880 m/sec, 4729424 t fired, . Pages in use: 9 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 UtahNoC-PT-none-CTLFireability-08 2645135 m, 86588 m/sec, 5717062 t fired, . Pages in use: 11 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 UtahNoC-PT-none-CTLFireability-08 3079149 m, 86802 m/sec, 6713092 t fired, . Pages in use: 12 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 UtahNoC-PT-none-CTLFireability-08 3509312 m, 86032 m/sec, 7710009 t fired, . Pages in use: 14 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 UtahNoC-PT-none-CTLFireability-08 3935889 m, 85315 m/sec, 8718011 t fired, . Pages in use: 16 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 UtahNoC-PT-none-CTLFireability-08 4359812 m, 84784 m/sec, 9739396 t fired, . Pages in use: 17 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 UtahNoC-PT-none-CTLFireability-08 4782608 m, 84559 m/sec, 10766611 t fired, . Pages in use: 19 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 UtahNoC-PT-none-CTLFireability-08 5200253 m, 83529 m/sec, 11782376 t fired, . Pages in use: 21 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 UtahNoC-PT-none-CTLFireability-08 5610399 m, 82029 m/sec, 12788475 t fired, . Pages in use: 22 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 UtahNoC-PT-none-CTLFireability-08 6024025 m, 82725 m/sec, 13818413 t fired, . Pages in use: 24 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 UtahNoC-PT-none-CTLFireability-08 6435420 m, 82279 m/sec, 14838504 t fired, . Pages in use: 25 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 UtahNoC-PT-none-CTLFireability-08 6845291 m, 81974 m/sec, 15860663 t fired, . Pages in use: 27 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 UtahNoC-PT-none-CTLFireability-08 7258160 m, 82573 m/sec, 16895323 t fired, . Pages in use: 28 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 UtahNoC-PT-none-CTLFireability-08 7664442 m, 81256 m/sec, 17933850 t fired, . Pages in use: 30 16 VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 UtahNoC-PT-none-CTLFireability-08 8067499 m, 80611 m/sec, 18966084 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 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 EG 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 16 (type EXCL) for 49 UtahNoC-PT-none-CTLFireability-15 (type EXCL) for UtahNoC-PT-none-CTLFireability-15 : false 1 0.000000 1 (type EXCL) for 43 UtahNoC-PT-none-CTLFireability-13 (type EXCL) for UtahNoC-PT-none-CTLFireability-13 : true 3 9 0.000000 1 (type EXCL) for 40 UtahNoC-PT-none-CTLFireability-12 (type EXCL) for UtahNoC-PT-none-CTLFireability-12 : false 1 0.000000 1 (type EXCL) for 34 UtahNoC-PT-none-CTLFireability-10 (type EXCL) for UtahNoC-PT-none-CTLFireability-10 : true 3 6 0.000000 1 (type EXCL) for 31 UtahNoC-PT-none-CTLFireability-09 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 UtahNoC-PT-none-CTLFireability-09 455648 m, 91129 m/sec, 3092522 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 UtahNoC-PT-none-CTLFireability-09 886937 m, 86257 m/sec, 6259684 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 UtahNoC-PT-none-CTLFireability-09 1318189 m, 86250 m/sec, 9383389 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 UtahNoC-PT-none-CTLFireability-09 1734085 m, 83179 m/sec, 12496996 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 UtahNoC-PT-none-CTLFireability-09 2155203 m, 84223 m/sec, 15619281 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 UtahNoC-PT-none-CTLFireability-09 2570933 m, 83146 m/sec, 18736651 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 UtahNoC-PT-none-CTLFireability-09 2972478 m, 80309 m/sec, 21824166 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 UtahNoC-PT-none-CTLFireability-09 3378154 m, 81135 m/sec, 24894084 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 UtahNoC-PT-none-CTLFireability-09 3769832 m, 78335 m/sec, 27944636 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 UtahNoC-PT-none-CTLFireability-09 4164790 m, 78991 m/sec, 30981712 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 UtahNoC-PT-none-CTLFireability-09 4553686 m, 77779 m/sec, 34059554 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 UtahNoC-PT-none-CTLFireability-09 4936511 m, 76565 m/sec, 37088211 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 UtahNoC-PT-none-CTLFireability-09 5332017 m, 79101 m/sec, 40088811 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 UtahNoC-PT-none-CTLFireability-09 5809235 m, 95443 m/sec, 43080894 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 UtahNoC-PT-none-CTLFireability-09 6188484 m, 75849 m/sec, 46083338 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 UtahNoC-PT-none-CTLFireability-09 6566940 m, 75691 m/sec, 49059591 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 UtahNoC-PT-none-CTLFireability-09 6939484 m, 74508 m/sec, 52067924 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 16 (type EXCL) for 22 UtahNoC-PT-none-CTLFireability-06 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 UtahNoC-PT-none-CTLFireability-06 784863 m, 156972 m/sec, 3563717 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 UtahNoC-PT-none-CTLFireability-06 1520214 m, 147070 m/sec, 7121576 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 UtahNoC-PT-none-CTLFireability-06 2248986 m, 145754 m/sec, 10577112 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 UtahNoC-PT-none-CTLFireability-06 2972691 m, 144741 m/sec, 14086764 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 UtahNoC-PT-none-CTLFireability-06 3672210 m, 139903 m/sec, 17516199 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 UtahNoC-PT-none-CTLFireability-06 4327815 m, 131121 m/sec, 20743416 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 UtahNoC-PT-none-CTLFireability-06 5014676 m, 137372 m/sec, 24078346 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 UtahNoC-PT-none-CTLFireability-06 5710647 m, 139194 m/sec, 27479625 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 UtahNoC-PT-none-CTLFireability-06 6380921 m, 134054 m/sec, 30772922 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 UtahNoC-PT-none-CTLFireability-06 7040470 m, 131909 m/sec, 34010881 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 16 (type EXCL) for 19 UtahNoC-PT-none-CTLFireability-05 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 UtahNoC-PT-none-CTLFireability-05 918443 m, 183688 m/sec, 2641345 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-05 : true 1302624 3831280 8.000000 6 (type EXCL) for 16 UtahNoC-PT-none-CTLFireability-04 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 UtahNoC-PT-none-CTLFireability-04 459872 m, 91974 m/sec, 2031349 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 UtahNoC-PT-none-CTLFireability-04 1292762 m, 166578 m/sec, 5751411 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 UtahNoC-PT-none-CTLFireability-04 2120043 m, 165456 m/sec, 9508729 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 UtahNoC-PT-none-CTLFireability-04 2942994 m, 164590 m/sec, 13177751 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 UtahNoC-PT-none-CTLFireability-04 3730147 m, 157430 m/sec, 16735101 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 UtahNoC-PT-none-CTLFireability-04 4462261 m, 146422 m/sec, 20013537 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 UtahNoC-PT-none-CTLFireability-04 5210183 m, 149584 m/sec, 23467226 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 UtahNoC-PT-none-CTLFireability-04 5967514 m, 151466 m/sec, 27029142 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 UtahNoC-PT-none-CTLFireability-04 6668176 m, 140132 m/sec, 30268827 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-04 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 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 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 16 (type EXCL) for 13 UtahNoC-PT-none-CTLFireability-03 (type EXCL) for UtahNoC-PT-none-CTLFireability-03 : true 45233 174108 1.000000 1 EXCL) for 7 UtahNoC-PT-none-CTLFireability-01 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 UtahNoC-PT-none-CTLFireability-01 415012 m, 83002 m/sec, 1884754 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 UtahNoC-PT-none-CTLFireability-01 885477 m, 94093 m/sec, 4071394 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 UtahNoC-PT-none-CTLFireability-01 1319646 m, 86833 m/sec, 6209555 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 UtahNoC-PT-none-CTLFireability-01 1729174 m, 81905 m/sec, 8207078 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 UtahNoC-PT-none-CTLFireability-01 2152086 m, 84582 m/sec, 10308110 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 UtahNoC-PT-none-CTLFireability-01 2573028 m, 84188 m/sec, 12425849 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 UtahNoC-PT-none-CTLFireability-01 2967631 m, 78920 m/sec, 14456479 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 UtahNoC-PT-none-CTLFireability-01 3348374 m, 76148 m/sec, 16465349 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 UtahNoC-PT-none-CTLFireability-01 3718338 m, 73992 m/sec, 18392539 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 UtahNoC-PT-none-CTLFireability-01 4117102 m, 79752 m/sec, 20446970 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 UtahNoC-PT-none-CTLFireability-01 4507548 m, 78089 m/sec, 22505710 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 UtahNoC-PT-none-CTLFireability-01 4894850 m, 77460 m/sec, 24529566 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 UtahNoC-PT-none-CTLFireability-01 5287261 m, 78482 m/sec, 26578743 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 UtahNoC-PT-none-CTLFireability-01 5668818 m, 76311 m/sec, 28599350 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 UtahNoC-PT-none-CTLFireability-01 6049982 m, 76232 m/sec, 30658128 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 UtahNoC-PT-none-CTLFireability-01 6463545 m, 82712 m/sec, 32740617 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 UtahNoC-PT-none-CTLFireability-01 6834787 m, 74248 m/sec, 34727087 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CONJ 0 2 0 0 2 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 EG 0 1 0 0 1 0 0 0 DISJ 0 1 0 0 3 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 16 EXCL) for 0 UtahNoC-PT-none-CTLFireability-00 (type EXCL) for UtahNoC-PT-none-CTLFireability-00 : true 18047 49114 0.000000 1 (type EXCL) for 46 UtahNoC-PT-none-CTLFireability-14 (type EXCL) for UtahNoC-PT-none-CTLFireability-14 : true 1 1 0.000000 1 (type EXCL) for 49 UtahNoC-PT-none-CTLFireability-15 (type EXCL) for UtahNoC-PT-none-CTLFireability-15 : false 1 0.000000 1 EXCL) for 0 UtahNoC-PT-none-CTLFireability-00 (type EXCL) for UtahNoC-PT-none-CTLFireability-00 : true 28 135 0.000000 1 (type EXCL) for 25 UtahNoC-PT-none-CTLFireability-07 (type EXCL) for UtahNoC-PT-none-CTLFireability-07 : true 457 2034 0.000000 1 (type EXCL) for 37 UtahNoC-PT-none-CTLFireability-11 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 2/32 UtahNoC-PT-none-CTLFireability-11 408648 m, 81729 m/sec, 3839179 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 UtahNoC-PT-none-CTLFireability-11 832233 m, 84717 m/sec, 7839490 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 UtahNoC-PT-none-CTLFireability-11 1243620 m, 82277 m/sec, 11775557 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 UtahNoC-PT-none-CTLFireability-11 1638650 m, 79006 m/sec, 15581193 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 UtahNoC-PT-none-CTLFireability-11 2030205 m, 78311 m/sec, 19368235 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 11/32 UtahNoC-PT-none-CTLFireability-11 2413939 m, 76746 m/sec, 23126954 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 UtahNoC-PT-none-CTLFireability-11 2793941 m, 76000 m/sec, 26842579 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 UtahNoC-PT-none-CTLFireability-11 3166462 m, 74504 m/sec, 30510441 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 UtahNoC-PT-none-CTLFireability-11 3537444 m, 74196 m/sec, 34154414 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 UtahNoC-PT-none-CTLFireability-11 3900987 m, 72708 m/sec, 37745192 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 UtahNoC-PT-none-CTLFireability-11 4264982 m, 72799 m/sec, 41325606 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 UtahNoC-PT-none-CTLFireability-11 4624672 m, 71938 m/sec, 44889167 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 UtahNoC-PT-none-CTLFireability-11 4981808 m, 71427 m/sec, 48440889 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 UtahNoC-PT-none-CTLFireability-11 5337415 m, 71121 m/sec, 51965224 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 UtahNoC-PT-none-CTLFireability-11 5689803 m, 70477 m/sec, 55462621 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 UtahNoC-PT-none-CTLFireability-11 6044658 m, 70971 m/sec, 58976144 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 UtahNoC-PT-none-CTLFireability-11 6401678 m, 71404 m/sec, 62486165 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 UtahNoC-PT-none-CTLFireability-11 6745183 m, 68701 m/sec, 65905188 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 UtahNoC-PT-none-CTLFireability-11 7089281 m, 68819 m/sec, 69336635 t fired, . Pages in use: 32 16 VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 UtahNoC-PT-none-CTLFireability-11 7432984 m, 68740 m/sec, 72775614 t fired, . Pages in use: 32 16 (type EXCL) for UtahNoC-PT-none-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY CONJ true CONJ CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 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 Pages in use: 32 16 (type EXCL) for 10 UtahNoC-PT-none-CTLFireability-02 (type EXCL) for UtahNoC-PT-none-CTLFireability-02 : false 38958 268488 1.000000 1 no open tasks 16 VALUE PRODUCED BY CONJ true CONJ CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker CTL unknown AGGR CTL true CTL model checker CTL unknown AGGR CTL true CTL model checker EFAG unknown AGGR CTL unknown AGGR CTL true CTL model checker CTL unknown AGGR CTL false CTL model checker CTL true CTL model checker EG true state space / EG DISJ false DISJ Pages in use: 32

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtahNoC-PT-none"
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 UtahNoC-PT-none, 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 r270-smll-162123877400202"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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