MCC'2021- Execution of r004-tall-162037985600140

About the Execution of LoLA for ASLink-PT-09a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4338.115	876548.00	1425160.00	1716.80	??FF?TFFF?TF??T?	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-inpu
Waiting for the VM to be
................................
==========
Generated by BenchKit 2-4028
Executing tool lola
Input is ASLink-PT-09a,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r004-tall-
================================

--------------------
preparation of the directory
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.8K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 9.5K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.0K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 839K May

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi
FORMULA_NAME ASLink-PT-09a-CTLFi

=== Now, execution of the

BK_START 1620722258985

starting LoLA
BK_INPUT ASLink-PT-09a
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKi
current directory: /home/mcc/exe
CTLFireability
check_solution: Constraint R92 =
check_solution: Constraint R1473 =
check_solution: Constraint R1474 =
check_solution: Constraint R1478 =
check_solution: Constraint R1479 =
check_solution: Constraint R1496 =
check_solution: Constraint R1497 =
check_solution: Constraint
check_solution: Constraint

Seriously low accuracy

FORMULA ASLink-PT-09a-CTLFireability-03

FORMULA ASLink-PT-09a-CTLFireability-14

FORMULA ASLink-PT-09a-CTLFireability-08

FORMULA ASLink-PT-09a-CTLFireability-07

FORMULA ASLink-PT-09a-CTLFireability-06

FORMULA ASLink-PT-09a-CTLFireability-05

FORMULA ASLink-PT-09a-CTLFireability-02

FORMULA ASLink-PT-09a-CTLFireability-11

FORMULA ASLink-PT-09a-CTLFireability-10

BK_STOP 1620723135533

--------------------
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
lola: Reading formula.
lola: Using XML format
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: RELEASE
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
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: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 48
lola: time limit : 204 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 50
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 52
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 54
lola: time limit :
lola: memory limit: 5 pages
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: CANCELED task #
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
sara: try reading problem
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 3/217

Time elapsed: 336 secs.
# running tasks: 1 of 4
sara: place or transition
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 8/217

Time elapsed: 341 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 13/217

Time elapsed: 346 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 18/217

Time elapsed: 351 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 23/217

Time elapsed: 356 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 28/217

Time elapsed: 361 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 33/217

Time elapsed: 366 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 38/217

Time elapsed: 371 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 43/217

Time elapsed: 376 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 48/217

Time elapsed: 381 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 53/217

Time elapsed: 386 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 58/217

Time elapsed: 391 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 63/217

Time elapsed: 396 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 68/217

Time elapsed: 401 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 73/217

Time elapsed: 406 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 78/217

Time elapsed: 411 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 83/217

Time elapsed: 416 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 88/217

Time elapsed: 421 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 93/217

Time elapsed: 426 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT
48 EFEG EXCL 98/217

Time elapsed: 431 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 436 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 43
lola: time limit : 226 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 28
lola: time limit : 243 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 5/243

Time elapsed: 441 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 10/243

Time elapsed: 446 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 15/243

Time elapsed: 451 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 20/243

Time elapsed: 456 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 25/243

Time elapsed: 461 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 30/243

Time elapsed: 466 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 35/243

Time elapsed: 471 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 40/243

Time elapsed: 476 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 45/243

Time elapsed: 481 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 50/243

Time elapsed: 486 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 55/243

Time elapsed: 491 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 60/243

Time elapsed: 496 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 65/243

Time elapsed: 501 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 70/243

Time elapsed: 506 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 75/243

Time elapsed: 511 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 80/243

Time elapsed: 516 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 85/243

Time elapsed: 521 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 90/243

Time elapsed: 526 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 95/243

Time elapsed: 531 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT
28 CTL EXCL 100/243

Time elapsed: 536 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-14:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 541 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 25
lola: time limit : 254 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 22
lola: time limit : 278 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 19
lola: time limit : 305 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 16
lola: time limit : 339 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 13
lola: time limit : 382 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 546 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 551 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 556 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 20/382

Time elapsed: 561 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 25/382

Time elapsed: 566 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 30/382

Time elapsed: 571 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 35/382

Time elapsed: 576 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 40/382

Time elapsed: 581 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 45/382

Time elapsed: 586 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 50/382

Time elapsed: 591 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 55/382

Time elapsed: 596 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 60/382

Time elapsed: 601 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 65/382

Time elapsed: 606 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 70/382

Time elapsed: 611 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 75/382

Time elapsed: 616 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 80/382

Time elapsed: 621 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
13 CTL EXCL 85/382

Time elapsed: 626 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 631 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 7
lola: time limit : 424 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 4
lola: time limit : 494 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 636 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 641 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 646 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 651 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 656 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 661 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 666 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 671 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 676 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 681 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 686 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 691 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 1
lola: time limit : 581 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 696 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 701 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 706 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 711 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 716 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 721 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 726 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 731 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 736 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 741 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 746 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 751 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 51
lola: time limit : 712 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 40
lola: time limit : 949 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 5/949

Time elapsed: 756 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 10/949

Time elapsed: 761 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 15/949

Time elapsed: 766 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 20/949

Time elapsed: 771 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 776 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 781 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 35/949

Time elapsed: 786 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 40/949

Time elapsed: 791 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 45/949

Time elapsed: 796 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 50/949

Time elapsed: 801 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 55/949

Time elapsed: 806 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 60/949

Time elapsed: 811 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
40 CTL EXCL 65/949

Time elapsed: 816 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 821 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 31
lola: time limit : 1389 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 46
lola: time limit : 2779 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 826 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 831 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 836 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 841 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 846 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 851 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 856 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 861 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 866 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

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

Time elapsed: 871 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-09a-CTLFireability-02:
ASLink-PT-09a-CTLFireability-03:
ASLink-PT-09a-CTLFireability-05:
ASLink-PT-09a-CTLFireability-06:
ASLink-PT-09a-CTLFireability-07:
ASLink-PT-09a-CTLFireability-08:
ASLink-PT-09a-CTLFireability-10:
ASLink-PT-09a-CTLFireability-11:
ASLink-PT-09a-CTLFireability-14:

PENDING FORMULAS: CATEGORY
ASLink-PT-09a-CTLFireability-00:
ASLink-PT-09a-CTLFireability-01:
ASLink-PT-09a-CTLFireability-04:
ASLink-PT-09a-CTLFireability-09:
ASLink-PT-09a-CTLFireability-12:
ASLink-PT-09a-CTLFireability-13:
ASLink-PT-09a-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 876 secs.
# running tasks: 1 of 4
lola: Portfolio finished:

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

Time elapsed: 876 secs.
t.r004-tall-162037985600140.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off ready (probing ssh) ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. =========================================================== examination is CTLFireability 3600 seconds is 16384 MBytes 162037985600140 ===================================== to be used: 5 16:58 CTLCardinality.txt 78K May 10 09:42 CTLCardinality.xml 5 16:58 CTLFireability.txt 81K May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.0K Mar 28 15:42 LTLCardinality.txt 21K Mar 28 15:42 LTLCardinality.xml 1.9K Mar 28 15:42 LTLFireability.txt 16K Mar 28 15:42 LTLFireability.xml 3.8K Mar 23 01:16 ReachabilityCardinality.txt 20K Mar 23 01:16 ReachabilityCardinality.xml 2.5K Mar 22 09:36 ReachabilityFireability.txt 15K Mar 22 09:36 ReachabilityFireability.xml 1.6K Mar 22 09:09 UpperBounds.txt 3.6K Mar 22 09:09 UpperBounds.xml 6 May 5 16:51 equiv_col 4 May 5 16:51 instance 6 May 5 16:51 iscolored 5 16:51 model.pnml generated by BenchKit (invocation template) a vector of booleans to 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 t/bin cution 0 is above its equality of -1 3212.3125 is above its equality of 0 1.5 is above its equality of 0 1 is above its equality of 0 2 is above its equality of 0 1e+30 is above its equality of 0 1e+30 is above its equality of 0 R2299 = 3.39307127054e-311 is below its lower bound 1 R2300 = 3.39731526213e-311 is below its lower bound 1 found ||*|| = 1e+30 (rel. error 5e+29) FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml formula_rewrite.k:550 formula_rewrite.k:550 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:553 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:340 formula_rewrite.k:299 formula_rewrite.k:299 formula_rewrite.k:454 formula_rewrite.k:400 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:250 formula_rewrite.k:457 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:553 formula_rewrite.k:250 formula_rewrite.k:550 formula_rewrite.k:550 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:547 formula_rewrite.k:457 formula_rewrite.k:314 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:391 formula_rewrite.k:454 formula_rewrite.k:394 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:550 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:317 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:469 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:253 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 0.000000 secs. in 1.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed formula_rewrite.k:734 formula_rewrite.k:787 (type EXCL) for 36 ASLink-PT-09a-CTLFireability-12 formula_rewrite.k:815 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:806 formula_rewrite.k:810 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:814 formula_rewrite.k:813 formula_rewrite.k:721 formula_rewrite.k:787 formula_rewrite.k:734 formula_rewrite.k:787 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:815 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:807 formula_rewrite.k:815 formula_rewrite.k:807 formula_rewrite.k:721 formula_rewrite.k:787 formula_rewrite.k:721 formula_rewrite.k:787 formula_rewrite.k:806 (type FNDP) for 9 ASLink-PT-09a-CTLFireability-03 32000000 sec formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:806 (type EQUN) for 9 ASLink-PT-09a-CTLFireability-03 32000000 sec (type SRCH) for 9 ASLink-PT-09a-CTLFireability-03 32000000 sec 50 (type FNDP) for ASLink-PT-09a-CTLFireability-03 : true 6 1 0.000000 0 52 (type EQUN) for ASLink-PT-09a-CTLFireability-03 (obsolete) 54 (type SRCH) for ASLink-PT-09a-CTLFireability-03 (obsolete) 54 (type SRCH) for ASLink-PT-09a-CTLFireability-03 : unknown 0.000000 1 formula_rewrite.k:806 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:721 formula_rewrite.k:787 formula_rewrite.k:813 formula_rewrite.k:807 formula_rewrite.k:807 formula_rewrite.k:807 formula_rewrite.k:807 formula_rewrite.k:806 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:814 file /home/mcc/execution/CTLFireability-52.sara. formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:812 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:814 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:812 formula_rewrite.k:815 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:808 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:813 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 1/32 ASLink-PT-09a-CTLFireability-12 88219 m, 17643 m/sec, 111275 t fired, . Pages in use: 2 Visible: 16 ordering is non-deterministic VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 3/32 ASLink-PT-09a-CTLFireability-12 329372 m, 48230 m/sec, 427577 t fired, . Pages in use: 3 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 5/32 ASLink-PT-09a-CTLFireability-12 570010 m, 48127 m/sec, 738929 t fired, . Pages in use: 5 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 6/32 ASLink-PT-09a-CTLFireability-12 789307 m, 43859 m/sec, 1013274 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-09a-CTLFireability-12 1021147 m, 46368 m/sec, 1320781 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 9/32 ASLink-PT-09a-CTLFireability-12 1234556 m, 42681 m/sec, 1592009 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 11/32 ASLink-PT-09a-CTLFireability-12 1443099 m, 41708 m/sec, 1860877 t fired, . Pages in use: 11 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 12/32 ASLink-PT-09a-CTLFireability-12 1655528 m, 42485 m/sec, 2136701 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 14/32 ASLink-PT-09a-CTLFireability-12 1893803 m, 47655 m/sec, 2462234 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 16/32 ASLink-PT-09a-CTLFireability-12 2148078 m, 50855 m/sec, 2814506 t fired, . Pages in use: 16 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 17/32 ASLink-PT-09a-CTLFireability-12 2364541 m, 43292 m/sec, 3095602 t fired, . Pages in use: 17 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 19/32 ASLink-PT-09a-CTLFireability-12 2581627 m, 43417 m/sec, 3393541 t fired, . Pages in use: 19 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-09a-CTLFireability-12 2795020 m, 42678 m/sec, 3672951 t fired, . Pages in use: 20 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 22/32 ASLink-PT-09a-CTLFireability-12 2998853 m, 40766 m/sec, 3935059 t fired, . Pages in use: 22 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 ASLink-PT-09a-CTLFireability-12 3194617 m, 39152 m/sec, 4186350 t fired, . Pages in use: 23 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 24/32 ASLink-PT-09a-CTLFireability-12 3409831 m, 43042 m/sec, 4482651 t fired, . Pages in use: 24 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 26/32 ASLink-PT-09a-CTLFireability-12 3617515 m, 41536 m/sec, 4755925 t fired, . Pages in use: 26 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 27/32 ASLink-PT-09a-CTLFireability-12 3829128 m, 42322 m/sec, 5043774 t fired, . Pages in use: 27 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 29/32 ASLink-PT-09a-CTLFireability-12 4040997 m, 42373 m/sec, 5327359 t fired, . Pages in use: 29 Visible: 16 VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-09a-CTLFireability-12 4303262 m, 52453 m/sec, 5694366 t fired, . Pages in use: 31 Visible: 16 48 (type EXCL) for ASLink-PT-09a-CTLFireability-12 (memory limit exceeded) VALUE PRODUCED BY AG false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 42 ASLink-PT-09a-CTLFireability-14 43 (type EXCL) for ASLink-PT-09a-CTLFireability-14 : true 303 391 0.000000 1 (type EXCL) for 27 ASLink-PT-09a-CTLFireability-09 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 2/32 ASLink-PT-09a-CTLFireability-09 238260 m, 47652 m/sec, 879895 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-09a-CTLFireability-09 455063 m, 43360 m/sec, 1771785 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 5/32 ASLink-PT-09a-CTLFireability-09 668520 m, 42691 m/sec, 2665585 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 7/32 ASLink-PT-09a-CTLFireability-09 882344 m, 42764 m/sec, 3562659 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-09a-CTLFireability-09 1093433 m, 42217 m/sec, 4452457 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 10/32 ASLink-PT-09a-CTLFireability-09 1325088 m, 46331 m/sec, 5328423 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 11/32 ASLink-PT-09a-CTLFireability-09 1537643 m, 42511 m/sec, 6215846 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 13/32 ASLink-PT-09a-CTLFireability-09 1745611 m, 41593 m/sec, 7105022 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 14/32 ASLink-PT-09a-CTLFireability-09 1949666 m, 40811 m/sec, 7998515 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 16/32 ASLink-PT-09a-CTLFireability-09 2159311 m, 41929 m/sec, 8886678 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 17/32 ASLink-PT-09a-CTLFireability-09 2366971 m, 41532 m/sec, 9777346 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 19/32 ASLink-PT-09a-CTLFireability-09 2571723 m, 40950 m/sec, 10672952 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 21/32 ASLink-PT-09a-CTLFireability-09 2796729 m, 45001 m/sec, 11558567 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 22/32 ASLink-PT-09a-CTLFireability-09 3022876 m, 45229 m/sec, 12438872 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 24/32 ASLink-PT-09a-CTLFireability-09 3229936 m, 41412 m/sec, 13330857 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 25/32 ASLink-PT-09a-CTLFireability-09 3440847 m, 42182 m/sec, 14218972 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 27/32 ASLink-PT-09a-CTLFireability-09 3653047 m, 42440 m/sec, 15109220 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 28/32 ASLink-PT-09a-CTLFireability-09 3855258 m, 40442 m/sec, 16002609 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 29/32 ASLink-PT-09a-CTLFireability-09 4042783 m, 37505 m/sec, 16906865 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-09a-CTLFireability-09 4271096 m, 45662 m/sec, 17780162 t fired, . Pages in use: 32 Visible: 16 28 (type EXCL) for ASLink-PT-09a-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY AG false findpath CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 24 ASLink-PT-09a-CTLFireability-08 25 (type EXCL) for ASLink-PT-09a-CTLFireability-08 : false 303 608 0.000000 1 (type EXCL) for 21 ASLink-PT-09a-CTLFireability-07 22 (type EXCL) for ASLink-PT-09a-CTLFireability-07 : false 302 603 0.000000 1 (type EXCL) for 18 ASLink-PT-09a-CTLFireability-06 19 (type EXCL) for ASLink-PT-09a-CTLFireability-06 : false 472 946 0.000000 1 (type EXCL) for 15 ASLink-PT-09a-CTLFireability-05 16 (type EXCL) for ASLink-PT-09a-CTLFireability-05 : true 303 1207 0.000000 1 (type EXCL) for 12 ASLink-PT-09a-CTLFireability-04 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 2/32 ASLink-PT-09a-CTLFireability-04 276073 m, 55214 m/sec, 886813 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-09a-CTLFireability-04 520999 m, 48985 m/sec, 1802939 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 6/32 ASLink-PT-09a-CTLFireability-04 767416 m, 49283 m/sec, 2716682 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-09a-CTLFireability-04 1014329 m, 49382 m/sec, 3630983 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 9/32 ASLink-PT-09a-CTLFireability-04 1284235 m, 53981 m/sec, 4523926 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 11/32 ASLink-PT-09a-CTLFireability-04 1533733 m, 49899 m/sec, 5429912 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 13/32 ASLink-PT-09a-CTLFireability-04 1775140 m, 48281 m/sec, 6338951 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 ASLink-PT-09a-CTLFireability-04 2009607 m, 46893 m/sec, 7253079 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 16/32 ASLink-PT-09a-CTLFireability-04 2249761 m, 48030 m/sec, 8163436 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-09a-CTLFireability-04 2491943 m, 48436 m/sec, 9074887 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-09a-CTLFireability-04 2739954 m, 49602 m/sec, 9988222 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 22/32 ASLink-PT-09a-CTLFireability-04 3008996 m, 53808 m/sec, 10883712 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 24/32 ASLink-PT-09a-CTLFireability-04 3252999 m, 48800 m/sec, 11794691 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 25/32 ASLink-PT-09a-CTLFireability-04 3496073 m, 48614 m/sec, 12705920 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 27/32 ASLink-PT-09a-CTLFireability-04 3738785 m, 48542 m/sec, 13614848 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 29/32 ASLink-PT-09a-CTLFireability-04 3960233 m, 44289 m/sec, 14535911 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-09a-CTLFireability-04 4211437 m, 50240 m/sec, 15439788 t fired, . Pages in use: 32 Visible: 16 13 (type EXCL) for ASLink-PT-09a-CTLFireability-04 (memory limit exceeded) VALUE PRODUCED BY AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 6 ASLink-PT-09a-CTLFireability-02 7 (type EXCL) for ASLink-PT-09a-CTLFireability-02 : false 303 302 0.000000 1 (type EXCL) for 3 ASLink-PT-09a-CTLFireability-01 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-09a-CTLFireability-01 374451 m, 74890 m/sec, 858229 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 7/32 ASLink-PT-09a-CTLFireability-01 760669 m, 77243 m/sec, 1694351 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 10/32 ASLink-PT-09a-CTLFireability-01 1136056 m, 75077 m/sec, 2556067 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 12/32 ASLink-PT-09a-CTLFireability-01 1431735 m, 59135 m/sec, 3479727 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 ASLink-PT-09a-CTLFireability-01 1807162 m, 75085 m/sec, 4319094 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-09a-CTLFireability-01 2152795 m, 69126 m/sec, 5190152 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-09a-CTLFireability-01 2439307 m, 57302 m/sec, 6114466 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 ASLink-PT-09a-CTLFireability-01 2836445 m, 79427 m/sec, 6930119 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 26/32 ASLink-PT-09a-CTLFireability-01 3163859 m, 65482 m/sec, 7813431 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 28/32 ASLink-PT-09a-CTLFireability-01 3458745 m, 58977 m/sec, 8724102 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-09a-CTLFireability-01 3798069 m, 67864 m/sec, 9620793 t fired, . Pages in use: 32 Visible: 16 4 (type EXCL) for ASLink-PT-09a-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 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 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 0 ASLink-PT-09a-CTLFireability-00 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-09a-CTLFireability-00 377028 m, 75405 m/sec, 862593 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 7/32 ASLink-PT-09a-CTLFireability-00 763372 m, 77268 m/sec, 1697513 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 10/32 ASLink-PT-09a-CTLFireability-00 1136213 m, 74568 m/sec, 2556383 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 12/32 ASLink-PT-09a-CTLFireability-00 1430482 m, 58853 m/sec, 3475021 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 ASLink-PT-09a-CTLFireability-00 1801311 m, 74165 m/sec, 4311076 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-09a-CTLFireability-00 2147846 m, 69307 m/sec, 5176465 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-09a-CTLFireability-00 2432208 m, 56872 m/sec, 6096020 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 ASLink-PT-09a-CTLFireability-00 2825463 m, 78651 m/sec, 6910246 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 26/32 ASLink-PT-09a-CTLFireability-00 3154000 m, 65707 m/sec, 7790569 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 28/32 ASLink-PT-09a-CTLFireability-00 3447345 m, 58669 m/sec, 8700088 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-09a-CTLFireability-00 3790219 m, 68574 m/sec, 9592613 t fired, . Pages in use: 32 Visible: 16 1 (type EXCL) for ASLink-PT-09a-CTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 33 ASLink-PT-09a-CTLFireability-11 51 (type EXCL) for ASLink-PT-09a-CTLFireability-11 : true 58 57 0.000000 1 (type EXCL) for 39 ASLink-PT-09a-CTLFireability-13 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 3/32 ASLink-PT-09a-CTLFireability-13 502763 m, 100552 m/sec, 1236949 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 6/32 ASLink-PT-09a-CTLFireability-13 949722 m, 89391 m/sec, 2465234 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-09a-CTLFireability-13 1376428 m, 85341 m/sec, 3703673 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 11/32 ASLink-PT-09a-CTLFireability-13 1732099 m, 71134 m/sec, 4922137 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 13/32 ASLink-PT-09a-CTLFireability-13 2189415 m, 91463 m/sec, 6141671 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 15/32 ASLink-PT-09a-CTLFireability-13 2596168 m, 81350 m/sec, 7352925 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-09a-CTLFireability-13 3035554 m, 87877 m/sec, 8639072 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-09a-CTLFireability-13 3430428 m, 78974 m/sec, 9929214 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 23/32 ASLink-PT-09a-CTLFireability-13 3826269 m, 79168 m/sec, 11221589 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 25/32 ASLink-PT-09a-CTLFireability-13 4218923 m, 78530 m/sec, 12503187 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 28/32 ASLink-PT-09a-CTLFireability-13 4678375 m, 91890 m/sec, 13745598 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 30/32 ASLink-PT-09a-CTLFireability-13 5022848 m, 68894 m/sec, 14977228 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 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 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-09a-CTLFireability-13 5361286 m, 67687 m/sec, 16203221 t fired, . Pages in use: 32 Visible: 16 40 (type EXCL) for ASLink-PT-09a-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 AGAF 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 30 ASLink-PT-09a-CTLFireability-10 31 (type EXCL) for ASLink-PT-09a-CTLFireability-10 : true 419 1257 0.000000 1 (type EXCL) for 45 ASLink-PT-09a-CTLFireability-15 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 ASLink-PT-09a-CTLFireability-15 526653 m, 105330 m/sec, 953988 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 ASLink-PT-09a-CTLFireability-15 1018297 m, 98328 m/sec, 1929085 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 ASLink-PT-09a-CTLFireability-15 1513188 m, 98978 m/sec, 2899601 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 13/32 ASLink-PT-09a-CTLFireability-15 1909698 m, 79302 m/sec, 3985876 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 ASLink-PT-09a-CTLFireability-15 2289371 m, 75934 m/sec, 5073769 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 18/32 ASLink-PT-09a-CTLFireability-15 2666716 m, 75469 m/sec, 6154905 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 21/32 ASLink-PT-09a-CTLFireability-15 3056113 m, 77879 m/sec, 7230916 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 24/32 ASLink-PT-09a-CTLFireability-15 3529097 m, 94596 m/sec, 8222988 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 27/32 ASLink-PT-09a-CTLFireability-15 3956686 m, 85517 m/sec, 9258591 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 30/32 ASLink-PT-09a-CTLFireability-15 4381289 m, 84920 m/sec, 10291353 t fired, . Pages in use: 32 Visible: 16 46 (type EXCL) for ASLink-PT-09a-CTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY CTL false CTL model checker AG false findpath CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL true CTL model checker AGAF false state space /EFEG CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 AGAF 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 Visible: 16 no open tasks 16 VALUE PRODUCED BY CTL unknown AGGR CTL unknown AGGR CTL false CTL model checker AG false findpath CTL unknown AGGR CTL true CTL model checker CTL false CTL model checker CTL false CTL model checker CTL false CTL model checker CTL unknown AGGR CTL true CTL model checker AGAF false state space /EFEG AGAF unknown AGGR CTL unknown AGGR CTL true CTL model checker CTL unknown AGGR 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="ASLink-PT-09a"
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 ASLink-PT-09a, 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 r004-tall-162037985600140"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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