MCC'2021- Execution of r004-tall-162037985500092

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3303.420	777067.00	1509393.00	1809.90	T??TTTT?TTFTF?FT	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-06a,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r004-tall-
================================

--------------------
preparation of the directory
/home/mcc/execution
total 912K
-rw-r--r-- 1 mcc users 7.2K 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 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 597K May

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

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

=== Now, execution of the

BK_START 1620719983097

starting LoLA
BK_INPUT ASLink-PT-06a
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKi
current directory: /home/mcc/exe
CTLFireability
check_solution: Variable C22 =
check_solution: Variable C27 =
check_solution: Variable C28 =
check_solution: Variable C114 =
check_solution: Variable C120 =
check_solution: Variable C132 =
check_solution: Variable C136 =
check_solution: Variable C137 =
check_solution: Variable C138 =
check_solution: Variable C139 =

Seriously low accuracy
check_solution: Constraint
check_solution: Constraint R1627 =
check_solution: Constraint

Seriously low accuracy
check_solution: Constraint
check_solution: Constraint R4 =
check_solution: Constraint R5 =
check_solution: Constraint R6 =
check_solution: Constraint R7 =
check_solution: Constraint R8 =
check_solution: Constraint R9 =
check_solution: Constraint R10 =
check_solution: Constraint R11 =
check_solution: Constraint R12 =

Seriously low accuracy
spx_run: Lost feasibility 10 times - iter
spx_run: Lost feasibility 10 times - iter

FORMULA ASLink-PT-06a-CTLFireability-11

FORMULA ASLink-PT-06a-CTLFireability-15

FORMULA ASLink-PT-06a-CTLFireability-12

FORMULA ASLink-PT-06a-CTLFireability-10

FORMULA ASLink-PT-06a-CTLFireability-08

FORMULA ASLink-PT-06a-CTLFireability-06

FORMULA ASLink-PT-06a-CTLFireability-05

FORMULA ASLink-PT-06a-CTLFireability-04

FORMULA ASLink-PT-06a-CTLFireability-03

FORMULA ASLink-PT-06a-CTLFireability-00

FORMULA ASLink-PT-06a-CTLFireability-14

FORMULA ASLink-PT-06a-CTLFireability-09

BK_STOP 1620720760164

--------------------
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: 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: RELEASE
lola: RELEASE
lola: RELEASE
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: 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: 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: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Rule S: 0 transitions
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: 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 # 4
lola: time limit : 77 sec
lola: memory limit: 32 pages
lola: Created skeleton
lola: Created skeleton
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 # 100
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 101
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 103
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: FINISHED task #
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
sara: try reading problem
lola: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: LAUNCH task # 104
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 105
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: LAUNCH task # 107
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: Created skeleton
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
sara: try reading problem
lola: Created skeleton
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/
sara: place or transition
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: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
sara: place or transition
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 # 111
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 112
lola: time limit :
lola: memory limit: 5 pages
lola: LAUNCH task # 114
lola: time limit :
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: FINISHED task #
lola: result
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task #
lola: CANCELED task #
lola: Created skeleton
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: Created skeleton
sara: try reading problem
lola: Created skeleton
lola: Created skeleton
sara: place or transition
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 1/132

Time elapsed: 416 secs.
# running tasks: 1 of 4

lola: FINISHED task #
lola: result
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 6/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 11/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 16/132

Time elapsed: 431 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 21/132

Time elapsed: 436 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 26/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 31/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 36/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 41/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 46/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 51/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 56/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 61/132

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

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

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

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 71/132

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

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

TASK CATEGORY TYPE TIME/TLIMIT
4 CTL EXCL 76/132

Time elapsed: 491 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 496 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 109
lola: time limit : 134 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 98
lola: time limit : 141 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 # 84
lola: time limit : 147 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 5/147

Time elapsed: 501 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 10/147

Time elapsed: 506 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 15/147

Time elapsed: 511 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 20/147

Time elapsed: 516 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 25/147

Time elapsed: 521 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 30/147

Time elapsed: 526 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 35/147

Time elapsed: 531 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 40/147

Time elapsed: 536 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 45/147

Time elapsed: 541 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 50/147

Time elapsed: 546 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 55/147

Time elapsed: 551 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 60/147

Time elapsed: 556 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
84 CTL EXCL 65/147

Time elapsed: 561 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 566 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 81
lola: time limit : 151 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 # 75
lola: time limit : 159 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

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

TASK CATEGORY TYPE TIME/TLIMIT
75 CTL EXCL 5/159

Time elapsed: 571 secs.
# running tasks: 1 of 4
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 54
lola: time limit : 168 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 33
lola: time limit : 216 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 # 30
lola: time limit : 232 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 0/232

Time elapsed: 576 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 581 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 586 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 591 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 596 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 601 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 606 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 611 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 616 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 621 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 626 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 55/232

Time elapsed: 631 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 60/232

Time elapsed: 636 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 65/232

Time elapsed: 641 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 70/232

Time elapsed: 646 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
30 CTL EXCL 75/232

Time elapsed: 651 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 656 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 27
lola: time limit : 245 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 # 24
lola: time limit : 267 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 # 17
lola: time limit : 326 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 661 secs.
# running tasks: 1 of 4
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 10
lola: time limit : 419 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 # 7
lola: time limit : 489 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 666 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 671 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 676 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 681 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 686 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 691 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 696 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 701 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

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

Time elapsed: 706 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 49/489

Time elapsed: 711 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 54/489

Time elapsed: 716 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 59/489

Time elapsed: 721 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 64/489

Time elapsed: 726 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 69/489

Time elapsed: 731 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 74/489

Time elapsed: 736 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 79/489

Time elapsed: 741 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 84/489

Time elapsed: 746 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 89/489

Time elapsed: 751 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 94/489

Time elapsed: 756 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 99/489

Time elapsed: 761 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 104/489

Time elapsed: 766 secs.
# running tasks: 1 of 4
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 109/489

Time elapsed: 771 secs.
# running tasks: 1 of 4
lola: CANCELED task #
FINISHED FORMULA: CATEGORY
ASLink-PT-06a-CTLFireability-03:
ASLink-PT-06a-CTLFireability-04:
ASLink-PT-06a-CTLFireability-05:
ASLink-PT-06a-CTLFireability-06:
ASLink-PT-06a-CTLFireability-08:
ASLink-PT-06a-CTLFireability-10:
ASLink-PT-06a-CTLFireability-11:
ASLink-PT-06a-CTLFireability-12:
ASLink-PT-06a-CTLFireability-15:

PENDING FORMULAS: CATEGORY
ASLink-PT-06a-CTLFireability-00:
ASLink-PT-06a-CTLFireability-01:
ASLink-PT-06a-CTLFireability-02:
ASLink-PT-06a-CTLFireability-07:
ASLink-PT-06a-CTLFireability-09:
ASLink-PT-06a-CTLFireability-13:
ASLink-PT-06a-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 776 secs.
# running tasks: 1 of 4
lola: LAUNCH task # 1
lola: time limit : 564 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 # 66
lola: time limit : 705 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 108
lola: time limit : 1411 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 # 58
lola: time limit : 2823 sec
lola: memory limit: 32 pages
lola: FINISHED task #
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished:

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

Time elapsed: 777 secs.
t.r004-tall-162037985500092.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 162037985500092 ===================================== to be used: 5 16:58 CTLCardinality.txt 62K May 10 09:42 CTLCardinality.xml 12K May 5 16:58 CTLFireability.txt 101K May 10 09:42 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 3.2K Mar 28 15:42 LTLCardinality.txt 23K Mar 28 15:42 LTLCardinality.xml 1.9K Mar 28 15:42 LTLFireability.txt 16K Mar 28 15:42 LTLFireability.xml 3.2K Mar 23 01:16 ReachabilityCardinality.txt 16K Mar 23 01:16 ReachabilityCardinality.xml 2.4K Mar 22 09:36 ReachabilityFireability.txt 13K 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 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 -1 is below its lower bound 0 found ||*|| = 8 (rel. error 8) R1 = 6.92018750032e-310 is above its equality of -1 3.4524871527e-311 is below its lower bound 1 R1628 = 3.45673114429e-311 is below its lower bound 1 found ||*|| = 1 (rel. error 1) R1 = 6.92018750032e-310 is above its equality of -1 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 1 is above its equality of 0 found ||*|| = 1 (rel. error 0.5) 3701 and 524 nodes. 6778 and 1240 nodes. TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT (--pnmlnet) /home/mcc/execution/model.pnml place/transition net /home/mcc/execution/model.pnml (--xmlformula) from /home/mcc/execution/CTLFireability.xml formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:253 formula_rewrite.k:400 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:553 formula_rewrite.k:394 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:451 formula_rewrite.k:472 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:250 formula_rewrite.k:550 formula_rewrite.k:550 formula_rewrite.k:550 formula_rewrite.k:550 formula_rewrite.k:325 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:299 formula_rewrite.k:439 formula_rewrite.k:451 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:296 formula_rewrite.k:394 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:325 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:299 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:439 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:328 formula_rewrite.k:299 formula_rewrite.k:439 formula_rewrite.k:472 formula_rewrite.k:550 formula_rewrite.k:457 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:314 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:322 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:322 formula_rewrite.k:334 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:314 formula_rewrite.k:296 formula_rewrite.k:325 formula_rewrite.k:331 formula_rewrite.k:322 formula_rewrite.k:337 formula_rewrite.k:296 formula_rewrite.k:296 formula_rewrite.k:317 formula_rewrite.k:322 formula_rewrite.k:328 formula_rewrite.k:296 formula_rewrite.k:296 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. removed,0 places removed in 0.000000 secs. in 1.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 1.000000 secs. in 0.000000 secs. formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:806 formula_rewrite.k:812 formula_rewrite.k:814 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:814 (type EXCL) for 3 ASLink-PT-06a-CTLFireability-01 in 1.000000 secs. in 0.000000 secs. formula_rewrite.k:812 formula_rewrite.k:711 formula_rewrite.k:809 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:711 formula_rewrite.k:711 (type FNDP) for 86 ASLink-PT-06a-CTLFireability-14 32000000 sec (type EQUN) for 86 ASLink-PT-06a-CTLFireability-14 32000000 sec (type SRCH) for 86 ASLink-PT-06a-CTLFireability-14 32000000 sec formula_rewrite.k:711 103 (type SRCH) for ASLink-PT-06a-CTLFireability-14 : unknown 0.000000 1 100 (type FNDP) for ASLink-PT-06a-CTLFireability-14 : true 3 1 0.000000 0 101 (type EQUN) for ASLink-PT-06a-CTLFireability-14 (obsolete) in 0.000000 secs. formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:814 formula_rewrite.k:808 file /home/mcc/execution/CTLFireability-101.sara. in 0.000000 secs. formula_rewrite.k:711 formula_rewrite.k:711 formula_rewrite.k:711 (type FNDP) for 77 ASLink-PT-06a-CTLFireability-11 32000000 sec (type EQUN) for 77 ASLink-PT-06a-CTLFireability-11 32000000 sec formula_rewrite.k:711 formula_rewrite.k:738 formula_rewrite.k:694 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:808 (type SRCH) for 77 ASLink-PT-06a-CTLFireability-11 32000000 sec 104 (type FNDP) for ASLink-PT-06a-CTLFireability-11 : true 227 1 0.000000 0 105 (type EQUN) for ASLink-PT-06a-CTLFireability-11 (obsolete) 107 (type SRCH) for ASLink-PT-06a-CTLFireability-11 (obsolete) 107 (type SRCH) for ASLink-PT-06a-CTLFireability-11 : unknown 0.000000 1 in 0.000000 secs. formula_rewrite.k:734 formula_rewrite.k:787 file /home/mcc/execution/CTLFireability-105.sara. in 0.000000 secs. formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:813 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:808 formula_rewrite.k:815 formula_rewrite.k:814 formula_rewrite.k:811 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:806 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:814 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:812 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:812 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:812 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:811 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:814 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:811 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:807 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:755 formula_rewrite.k:690 formula_rewrite.k:788 formula_rewrite.k:788 formula_rewrite.k:808 formula_rewrite.k:812 formula_rewrite.k:806 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:807 ordering is non-deterministic formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:807 formula_rewrite.k:810 formula_rewrite.k:813 formula_rewrite.k:806 formula_rewrite.k:810 formula_rewrite.k:806 formula_rewrite.k:808 formula_rewrite.k:807 formula_rewrite.k:813 formula_rewrite.k:812 formula_rewrite.k:809 formula_rewrite.k:809 formula_rewrite.k:807 in 0.000000 secs. in 0.000000 secs. formula_rewrite.k:806 formula_rewrite.k:811 formula_rewrite.k:807 formula_rewrite.k:810 formula_rewrite.k:808 ordering is non-deterministic formula_rewrite.k:721 formula_rewrite.k:787 formula_rewrite.k:721 formula_rewrite.k:787 formula_rewrite.k:721 formula_rewrite.k:787 (type FNDP) for 35 ASLink-PT-06a-CTLFireability-09 32000000 sec (type EQUN) for 35 ASLink-PT-06a-CTLFireability-09 32000000 sec (type SRCH) for 35 ASLink-PT-06a-CTLFireability-09 32000000 sec formula_rewrite.k:721 formula_rewrite.k:787 111 (type FNDP) for ASLink-PT-06a-CTLFireability-09 : true 1 0.000000 0 112 (type EQUN) for ASLink-PT-06a-CTLFireability-09 (obsolete) 114 (type SRCH) for ASLink-PT-06a-CTLFireability-09 (obsolete) in 0.000000 secs. 114 (type SRCH) for ASLink-PT-06a-CTLFireability-09 : unknown 0.000000 1 in 0.000000 secs. file /home/mcc/execution/CTLFireability-112.sara. in 0.000000 secs. in 1.000000 secs. ordering is non-deterministic VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 12 0 0 3 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 1/32 ASLink-PT-06a-CTLFireability-01 156372 m, 31274 m/sec, 391210 t fired, . Pages in use: 2 Visible: 16 112 (type EQUN) for ASLink-PT-06a-CTLFireability-09 : true VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-06a-CTLFireability-01 586269 m, 85979 m/sec, 1716669 t fired, . Pages in use: 4 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 ASLink-PT-06a-CTLFireability-01 983185 m, 79383 m/sec, 3045186 t fired, . Pages in use: 6 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-06a-CTLFireability-01 1358288 m, 75020 m/sec, 4378830 t fired, . Pages in use: 8 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 ASLink-PT-06a-CTLFireability-01 1689823 m, 66307 m/sec, 5714444 t fired, . Pages in use: 9 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 ASLink-PT-06a-CTLFireability-01 2155486 m, 93132 m/sec, 7014030 t fired, . Pages in use: 12 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 ASLink-PT-06a-CTLFireability-01 2609581 m, 90819 m/sec, 8297177 t fired, . Pages in use: 14 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 ASLink-PT-06a-CTLFireability-01 3043744 m, 86832 m/sec, 9601319 t fired, . Pages in use: 16 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-06a-CTLFireability-01 3428103 m, 76871 m/sec, 10895951 t fired, . Pages in use: 18 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 ASLink-PT-06a-CTLFireability-01 3859991 m, 86377 m/sec, 12184106 t fired, . Pages in use: 21 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 ASLink-PT-06a-CTLFireability-01 4264882 m, 80978 m/sec, 13487176 t fired, . Pages in use: 23 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 ASLink-PT-06a-CTLFireability-01 4638869 m, 74797 m/sec, 14777324 t fired, . Pages in use: 25 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 ASLink-PT-06a-CTLFireability-01 4987328 m, 69691 m/sec, 16070065 t fired, . Pages in use: 26 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 ASLink-PT-06a-CTLFireability-01 5341984 m, 70931 m/sec, 17346050 t fired, . Pages in use: 28 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 ASLink-PT-06a-CTLFireability-01 5736742 m, 78951 m/sec, 18648532 t fired, . Pages in use: 30 Visible: 16 VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 ASLink-PT-06a-CTLFireability-01 6093851 m, 71421 m/sec, 19944877 t fired, . Pages in use: 32 Visible: 16 4 (type EXCL) for ASLink-PT-06a-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY EF true findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 8 0 0 13 0 0 2 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CONJ 0 1 0 0 5 0 0 3 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 35 ASLink-PT-06a-CTLFireability-09 109 (type EXCL) for ASLink-PT-06a-CTLFireability-09 : false 0.000000 1 (type EXCL) for 97 ASLink-PT-06a-CTLFireability-15 98 (type EXCL) for ASLink-PT-06a-CTLFireability-15 : true 341 342 0.000000 1 (type EXCL) for 83 ASLink-PT-06a-CTLFireability-13 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-06a-CTLFireability-13 377704 m, 75540 m/sec, 1306991 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 6/32 ASLink-PT-06a-CTLFireability-13 680102 m, 60479 m/sec, 2625573 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-06a-CTLFireability-13 940219 m, 52023 m/sec, 3948862 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 10/32 ASLink-PT-06a-CTLFireability-13 1188926 m, 49741 m/sec, 5266031 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 13/32 ASLink-PT-06a-CTLFireability-13 1514595 m, 65133 m/sec, 6561951 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 15/32 ASLink-PT-06a-CTLFireability-13 1830310 m, 63143 m/sec, 7841600 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-06a-CTLFireability-13 2118500 m, 57638 m/sec, 9123204 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-06a-CTLFireability-13 2382640 m, 52828 m/sec, 10427904 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 22/32 ASLink-PT-06a-CTLFireability-13 2629743 m, 49420 m/sec, 11725468 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 24/32 ASLink-PT-06a-CTLFireability-13 2955876 m, 65226 m/sec, 13001596 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 26/32 ASLink-PT-06a-CTLFireability-13 3259560 m, 60736 m/sec, 14275548 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 29/32 ASLink-PT-06a-CTLFireability-13 3544511 m, 56990 m/sec, 15561311 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-06a-CTLFireability-13 3811799 m, 53457 m/sec, 16856625 t fired, . Pages in use: 32 Visible: 16 84 (type EXCL) for ASLink-PT-06a-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY EF true 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 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 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 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 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 80 ASLink-PT-06a-CTLFireability-12 81 (type EXCL) for ASLink-PT-06a-CTLFireability-12 : false 2162 4340 0.000000 1 (type EXCL) for 74 ASLink-PT-06a-CTLFireability-10 VALUE PRODUCED BY EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 7 0 0 14 0 0 2 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 2/32 ASLink-PT-06a-CTLFireability-10 284700 m, 56940 m/sec, 1114975 t fired, . Pages in use: 32 Visible: 16 75 (type EXCL) for ASLink-PT-06a-CTLFireability-10 : false 541211 2198637 10.000000 4 (type EXCL) for 35 ASLink-PT-06a-CTLFireability-09 54 (type EXCL) for ASLink-PT-06a-CTLFireability-09 : false 0.000000 1 (type EXCL) for 32 ASLink-PT-06a-CTLFireability-08 33 (type EXCL) for ASLink-PT-06a-CTLFireability-08 : true 2164 4342 0.000000 1 (type EXCL) for 29 ASLink-PT-06a-CTLFireability-07 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 1/32 ASLink-PT-06a-CTLFireability-07 67126 m, 13425 m/sec, 152119 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-06a-CTLFireability-07 606140 m, 107802 m/sec, 1385396 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 7/32 ASLink-PT-06a-CTLFireability-07 1285123 m, 135796 m/sec, 2621151 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 9/32 ASLink-PT-06a-CTLFireability-07 1748120 m, 92599 m/sec, 3770267 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 12/32 ASLink-PT-06a-CTLFireability-07 2216750 m, 93726 m/sec, 4921128 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 14/32 ASLink-PT-06a-CTLFireability-07 2650379 m, 86725 m/sec, 6059924 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 16/32 ASLink-PT-06a-CTLFireability-07 3097378 m, 89399 m/sec, 7212967 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-06a-CTLFireability-07 3491352 m, 78794 m/sec, 8360774 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 19/32 ASLink-PT-06a-CTLFireability-07 3865628 m, 74855 m/sec, 9513264 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 21/32 ASLink-PT-06a-CTLFireability-07 4251692 m, 77212 m/sec, 10660111 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 23/32 ASLink-PT-06a-CTLFireability-07 4696292 m, 88920 m/sec, 11816638 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 25/32 ASLink-PT-06a-CTLFireability-07 5069895 m, 74720 m/sec, 12959417 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 27/32 ASLink-PT-06a-CTLFireability-07 5442958 m, 74612 m/sec, 14109698 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 28/32 ASLink-PT-06a-CTLFireability-07 5843791 m, 80166 m/sec, 15255802 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 30/32 ASLink-PT-06a-CTLFireability-07 6266625 m, 84566 m/sec, 16407339 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 32/32 ASLink-PT-06a-CTLFireability-07 6657531 m, 78181 m/sec, 17542117 t fired, . Pages in use: 32 Visible: 16 30 (type EXCL) for ASLink-PT-06a-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 2 0 0 2 0 0 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 26 ASLink-PT-06a-CTLFireability-06 27 (type EXCL) for ASLink-PT-06a-CTLFireability-06 : true 2162 2179 0.000000 1 (type EXCL) for 19 ASLink-PT-06a-CTLFireability-05 24 (type EXCL) for ASLink-PT-06a-CTLFireability-05 : true 298697 611434 3.000000 3 (type EXCL) for 12 ASLink-PT-06a-CTLFireability-04 VALUE PRODUCED BY DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL true CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 DISJ 0 1 1 0 2 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 3/32 ASLink-PT-06a-CTLFireability-04 313354 m, 62670 m/sec, 453596 t fired, . Pages in use: 32 Visible: 16 17 (type EXCL) for ASLink-PT-06a-CTLFireability-04 : true 327441 492090 2.000000 3 (type EXCL) for 9 ASLink-PT-06a-CTLFireability-03 10 (type EXCL) for ASLink-PT-06a-CTLFireability-03 : true 672 673 1.000000 1 (type EXCL) for 6 ASLink-PT-06a-CTLFireability-02 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 4/32 ASLink-PT-06a-CTLFireability-02 524662 m, 104932 m/sec, 1058115 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 5/32 ASLink-PT-06a-CTLFireability-02 800207 m, 55109 m/sec, 2445633 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 7/32 ASLink-PT-06a-CTLFireability-02 1077031 m, 55364 m/sec, 3825150 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 8/32 ASLink-PT-06a-CTLFireability-02 1353919 m, 55377 m/sec, 5213598 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 9/32 ASLink-PT-06a-CTLFireability-02 1573701 m, 43956 m/sec, 6615011 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 11/32 ASLink-PT-06a-CTLFireability-02 1837773 m, 52814 m/sec, 7997185 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 12/32 ASLink-PT-06a-CTLFireability-02 2113717 m, 55188 m/sec, 9379786 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 13/32 ASLink-PT-06a-CTLFireability-02 2349391 m, 47134 m/sec, 10775449 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 15/32 ASLink-PT-06a-CTLFireability-02 2596387 m, 49399 m/sec, 12153980 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 16/32 ASLink-PT-06a-CTLFireability-02 2871131 m, 54948 m/sec, 13526888 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 17/32 ASLink-PT-06a-CTLFireability-02 3116496 m, 49073 m/sec, 14910064 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 18/32 ASLink-PT-06a-CTLFireability-02 3350428 m, 46786 m/sec, 16280628 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 20/32 ASLink-PT-06a-CTLFireability-02 3622450 m, 54404 m/sec, 17640459 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 21/32 ASLink-PT-06a-CTLFireability-02 3878431 m, 51196 m/sec, 19008385 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 22/32 ASLink-PT-06a-CTLFireability-02 4098837 m, 44081 m/sec, 20374863 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 24/32 ASLink-PT-06a-CTLFireability-02 4368799 m, 53992 m/sec, 21717520 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 25/32 ASLink-PT-06a-CTLFireability-02 4625560 m, 51352 m/sec, 23069393 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 26/32 ASLink-PT-06a-CTLFireability-02 4840916 m, 43071 m/sec, 24418583 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 27/32 ASLink-PT-06a-CTLFireability-02 5109017 m, 53620 m/sec, 25750081 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 29/32 ASLink-PT-06a-CTLFireability-02 5363972 m, 50991 m/sec, 27091610 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 30/32 ASLink-PT-06a-CTLFireability-02 5577524 m, 42710 m/sec, 28430540 t fired, . Pages in use: 32 Visible: 16 VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS 31/32 ASLink-PT-06a-CTLFireability-02 5844070 m, 53309 m/sec, 29751186 t fired, . Pages in use: 32 Visible: 16 7 (type EXCL) for ASLink-PT-06a-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL true CTL model checker CTL false CTL model checker EF true findpath 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 DISJ 0 3 0 0 15 0 0 5 CTL 0 0 0 0 1 0 1 0 CONJ 0 1 0 0 5 0 0 3 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 Visible: 16 (type EXCL) for 0 ASLink-PT-06a-CTLFireability-00 1 (type EXCL) for ASLink-PT-06a-CTLFireability-00 : true 23336 34799 1.000000 1 (type EXCL) for 35 ASLink-PT-06a-CTLFireability-09 66 (type EXCL) for ASLink-PT-06a-CTLFireability-09 : false 1 0.000000 1 (type EXCL) for 86 ASLink-PT-06a-CTLFireability-14 108 (type EXCL) for ASLink-PT-06a-CTLFireability-14 : true 17 16 0.000000 1 (type EXCL) for 35 ASLink-PT-06a-CTLFireability-09 58 (type EXCL) for ASLink-PT-06a-CTLFireability-09 : true 308 920 0.000000 1 no open tasks 16 VALUE PRODUCED BY CTL true CTL model checker CTL unknown AGGR CTL unknown AGGR CTL true CTL model checker DISJ true CTL model checker DISJ true CTL model checker CTL true CTL model checker CTL unknown AGGR CTL true CTL model checker DISJ true CTL model checker CTL false CTL model checker EF true findpath CTL false CTL model checker CTL unknown AGGR CONJ false state space /EFEG CTL true CTL model checker 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-06a"
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-06a, 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-162037985500092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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