MCC'2023- Execution of r486-tall-167912701200418

About the Execution of LoLA for Szymanski-PT-a06

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
7816.424	350602.00	323332.00	1126.20	T???FF????T????F	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r
Waiting for the VM to be ready
...................................
=============
Generated by BenchKit 2-5348
Executing tool lola
Input is Szymanski-PT-a06,
Time confinement is 3600
Memory confinement is
Number of cores is 4
Run identifier is r486-tall-167
===================================

--------------------
preparation of the directory
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 6.9K
-rw-r--r-- 1 mcc users 77K
-rw-r--r-- 1 mcc users 5.5K
-rw-r--r-- 1 mcc users 52K
-rw-r--r-- 1 mcc users 3.7K
-rw-r--r-- 1 mcc users 26K
-rw-r--r-- 1 mcc users 2.1K
-rw-r--r-- 1 mcc users 16K
-rw-r--r-- 1 mcc users 12K
-rw-r--r-- 1 mcc users 125K
-rw-r--r-- 1 mcc users 7.7K
-rw-r--r-- 1 mcc users 65K
-rw-r--r-- 1 mcc users 1.6K
-rw-r--r-- 1 mcc users 3.6K
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 4 Mar
-rw-r--r-- 1 mcc users 6 Mar
-rw-r--r-- 1 mcc users 101K Mar

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

=== Data for post analysis

The expected result is a vector
BOOL_VECTOR

here is the order used to
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi
FORMULA_NAME Szymanski-PT-a06-CTLFi

=== Now, execution of the

BK_START 1679202811018

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Szymanski-PT-a06
Not applying reductions.
Model is PT
CTLFireability PT
starting LoLA
BK_INPUT Szymanski-PT-a06
BK_EXAMINATION: CTLFireability
bin directory: /home/mcc/BenchKit/b
current directory: /home/mcc/execut
CTLFireability

FORMULA Szymanski-PT-a06-CTLFireability-00

FORMULA Szymanski-PT-a06-CTLFireability-04

FORMULA Szymanski-PT-a06-CTLFireability-15

FORMULA Szymanski-PT-a06-CTLFireability-10

FORMULA Szymanski-PT-a06-CTLFireability-05

BK_STOP 1679203161620

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet
lola: reading net from /home/mcc/
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file /home/mcc/e
lola: Reading formula.
lola: Using XML format (--xmlform
lola: reading XML formula
lola: reading formula from
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: RELEASE
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: RELEASE
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Rule S: 8 transitions
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: Created skeleton in
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: LAUNCH task # 56 (type
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: FINISHED task # 56
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: LAUNCH task # 26 (type
lola: time limit : 200 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: LAUNCH task # 58 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 59 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: LAUNCH task # 61 (type
lola: time limit : 32000000
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: Created skeleton in
lola: FINISHED task # 61
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
sara: try reading problem
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
sara: place or transition
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: rewrite Frontend/Parser/for
lola: FINISHED task # 58
lola: result : true
lola: fired transitions :
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 59
lola: FINISHED task # 59
lola: result
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:
Szymanski-PT-a06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
26 CTL EXCL 5/240

Time elapsed: 5 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:
Szymanski-PT-a06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
26 CTL EXCL 10/240

Time elapsed: 10 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:
Szymanski-PT-a06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
26 CTL EXCL 15/240

Time elapsed: 15 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:
Szymanski-PT-a06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
26 CTL EXCL 20/240

Time elapsed: 20 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:
Szymanski-PT-a06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
26 CTL EXCL 25/240

Time elapsed: 25 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 26
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:
Szymanski-PT-a06-CTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 30 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 54 (type
lola: time limit : 255 sec
lola: memory limit: 32 pages
lola: FINISHED task # 54
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 51 (type
lola: time limit : 274 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
51 CTL EXCL 5/274

Time elapsed: 35 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
51 CTL EXCL 10/274

Time elapsed: 40 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
51 CTL EXCL 15/274

Time elapsed: 45 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
51 CTL EXCL 20/274

Time elapsed: 50 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
51 CTL EXCL 25/274

Time elapsed: 55 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 51
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 60 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 45 (type
lola: time limit : 295 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
45 CTL EXCL 5/295

Time elapsed: 65 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
45 CTL EXCL 10/295

Time elapsed: 70 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
45 CTL EXCL 15/295

Time elapsed: 75 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
45 CTL EXCL 20/295

Time elapsed: 80 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 85 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 45
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 90 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 39 (type
lola: time limit : 319 sec
lola: memory limit: 32 pages
lola: FINISHED task # 39
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 36 (type
lola: time limit : 351 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 95 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 100 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 105 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 110 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 115 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 36
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 120 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 33 (type
lola: time limit : 386 sec
lola: memory limit: 32 pages
lola: FINISHED task # 33
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 31 (type
lola: time limit : 435 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 5/435

Time elapsed: 125 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 10/435

Time elapsed: 130 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 15/435

Time elapsed: 135 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 20/435

Time elapsed: 140 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 25/435

Time elapsed: 145 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 30/435

Time elapsed: 150 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 35/435

Time elapsed: 155 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
31 CTL EXCL 40/435

Time elapsed: 160 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 31
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 165 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 20 (type
lola: time limit : 490 sec
lola: memory limit: 32 pages
lola: FINISHED task # 20
lola: result
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 62 (type
lola: time limit : 572 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
62 AGEF EXCL 5/572

Time elapsed: 170 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
62 AGEF EXCL 10/572

Time elapsed: 175 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
62 AGEF EXCL 15/572

Time elapsed: 180 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
62 AGEF EXCL 20/572

Time elapsed: 185 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
62 AGEF EXCL 25/572

Time elapsed: 190 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 62
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 195 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 7 (type
lola: time limit : 681 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 5/681

Time elapsed: 200 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 10/681

Time elapsed: 205 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 15/681

Time elapsed: 210 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 20/681

Time elapsed: 215 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
7 CTL EXCL 25/681

Time elapsed: 220 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 7
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 225 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 4 (type
lola: time limit : 843 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 230 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 235 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 240 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 245 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 250 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 255 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 4
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 260 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 48 (type
lola: time limit : 1113 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
48 CTL EXCL 5/1113

Time elapsed: 265 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
48 CTL EXCL 10/1113

Time elapsed: 270 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
48 CTL EXCL 15/1113

Time elapsed: 275 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
48 CTL EXCL 20/1113

Time elapsed: 280 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
48 CTL EXCL 25/1113

Time elapsed: 285 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 48
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 290 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 42 (type
lola: time limit : 1655 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 5/1655

Time elapsed: 295 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 10/1655

Time elapsed: 300 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 15/1655

Time elapsed: 305 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 20/1655

Time elapsed: 310 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT
42 CTL EXCL 25/1655

Time elapsed: 315 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 42
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 320 secs.
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 23 (type
lola: time limit : 3280 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 325 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 330 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 335 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 340 secs.
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

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

Time elapsed: 345 secs.
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 23
FINISHED FORMULA: CATEGORY
Szymanski-PT-a06-CTLFireability-00:
Szymanski-PT-a06-CTLFireability-04:
Szymanski-PT-a06-CTLFireability-05:
Szymanski-PT-a06-CTLFireability-10:
Szymanski-PT-a06-CTLFireability-15:

PENDING FORMULAS: CATEGORY
Szymanski-PT-a06-CTLFireability-01:
Szymanski-PT-a06-CTLFireability-02:
Szymanski-PT-a06-CTLFireability-03:
Szymanski-PT-a06-CTLFireability-06:
Szymanski-PT-a06-CTLFireability-07:
Szymanski-PT-a06-CTLFireability-08:
Szymanski-PT-a06-CTLFireability-09:
Szymanski-PT-a06-CTLFireability-11:
Szymanski-PT-a06-CTLFireability-12:
Szymanski-PT-a06-CTLFireability-13:
Szymanski-PT-a06-CTLFireability-14:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 350 secs.
# running tasks: 1 of 4 Visible: 16
lola: Portfolio finished:

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

Time elapsed: 350 secs.
486-tall-167912701200418.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 (probing ssh) ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. ======================================================== examination is CTLFireability seconds 16384 MBytes 912701200418 ================================== to be used: Feb 26 16:58 CTLCardinality.txt Feb 26 16:58 CTLCardinality.xml Feb 26 16:57 CTLFireability.txt Feb 26 16:57 CTLFireability.xml Feb 25 17:18 LTLCardinality.txt Feb 25 17:18 LTLCardinality.xml Feb 25 17:18 LTLFireability.txt Feb 25 17:18 LTLFireability.xml Feb 26 16:59 ReachabilityCardinality.txt Feb 26 16:59 ReachabilityCardinality.xml Feb 26 16:59 ReachabilityFireability.txt Feb 26 16:59 ReachabilityFireability.xml Feb 25 17:18 UpperBounds.txt Feb 25 17:18 UpperBounds.xml 5 18:23 equiv_col 5 18:23 instance 5 18:23 iscolored 5 18:23 model.pnml generated by BenchKit (invocation template) of booleans build the result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N in//../lola/bin/ ion 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 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT ) execution/model.pnml place/transition net xecution/model.pnml ula) /home/mcc/execution/CTLFireability.xml mula_rewrite.k:325 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:322 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:550 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:445 mula_rewrite.k:451 mula_rewrite.k:448 mula_rewrite.k:472 mula_rewrite.k:547 mula_rewrite.k:394 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:547 mula_rewrite.k:317 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:314 mula_rewrite.k:317 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:299 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:472 mula_rewrite.k:478 mula_rewrite.k:253 mula_rewrite.k:553 mula_rewrite.k:553 mula_rewrite.k:553 mula_rewrite.k:322 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:322 mula_rewrite.k:337 mula_rewrite.k:296 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:328 mula_rewrite.k:299 mula_rewrite.k:325 mula_rewrite.k:337 mula_rewrite.k:317 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:325 mula_rewrite.k:340 mula_rewrite.k:299 mula_rewrite.k:299 mula_rewrite.k:322 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:96 mula_rewrite.k:156 mula_rewrite.k:147 mula_rewrite.k:120 mula_rewrite.k:314 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:317 mula_rewrite.k:322 mula_rewrite.k:334 mula_rewrite.k:299 mula_rewrite.k:322 mula_rewrite.k:331 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:296 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:322 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:337 mula_rewrite.k:296 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:322 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:299 mula_rewrite.k:322 mula_rewrite.k:340 mula_rewrite.k:299 mula_rewrite.k:299 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:299 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:253 mula_rewrite.k:317 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:322 mula_rewrite.k:334 mula_rewrite.k:299 mula_rewrite.k:317 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:314 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:299 mula_rewrite.k:322 mula_rewrite.k:334 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:317 mula_rewrite.k:325 mula_rewrite.k:334 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:314 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:296 mula_rewrite.k:296 mula_rewrite.k:98 mula_rewrite.k:115 mula_rewrite.k:314 mula_rewrite.k:296 mula_rewrite.k:322 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:337 mula_rewrite.k:296 mula_rewrite.k:296 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:314 mula_rewrite.k:322 mula_rewrite.k:337 mula_rewrite.k:317 mula_rewrite.k:299 mula_rewrite.k:325 mula_rewrite.k:328 mula_rewrite.k:299 mula_rewrite.k:322 mula_rewrite.k:328 mula_rewrite.k:299 mula_rewrite.k:314 mula_rewrite.k:296 mula_rewrite.k:317 mula_rewrite.k:296 mula_rewrite.k:322 mula_rewrite.k:340 mula_rewrite.k:299 mula_rewrite.k:299 mula_rewrite.k:96 mula_rewrite.k:120 mula_rewrite.k:250 mula_rewrite.k:445 mula_rewrite.k:448 mula_rewrite.k:457 mula_rewrite.k:325 mula_rewrite.k:331 mula_rewrite.k:296 mula_rewrite.k:253 mula_rewrite.k:253 mula_rewrite.k:253 mula_rewrite.k:253 mula_rewrite.k:253 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. removed,12 places removed 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. 0.000000 secs. mula_rewrite.k:726 mula_rewrite.k:788 EXCL) for 0 Szymanski-PT-a06-CTLFireability-00 (type EXCL) for Szymanski-PT-a06-CTLFireability-00 : false 93 92 0.000000 1 mula_rewrite.k:814 mula_rewrite.k:806 mula_rewrite.k:807 mula_rewrite.k:813 mula_rewrite.k:807 mula_rewrite.k:814 mula_rewrite.k:806 EXCL) for 25 Szymanski-PT-a06-CTLFireability-07 mula_rewrite.k:721 mula_rewrite.k:788 mula_rewrite.k:806 mula_rewrite.k:812 mula_rewrite.k:807 mula_rewrite.k:813 mula_rewrite.k:721 mula_rewrite.k:788 mula_rewrite.k:721 mula_rewrite.k:788 FNDP) for 12 Szymanski-PT-a06-CTLFireability-04 sec EQUN) for 12 Szymanski-PT-a06-CTLFireability-04 sec SRCH) for 12 Szymanski-PT-a06-CTLFireability-04 sec mula_rewrite.k:721 mula_rewrite.k:788 mula_rewrite.k:811 mula_rewrite.k:806 mula_rewrite.k:807 mula_rewrite.k:806 0.000000 secs. (type SRCH) for Szymanski-PT-a06-CTLFireability-04 : unknown 86 149 0.000000 1 mula_rewrite.k:813 mula_rewrite.k:806 mula_rewrite.k:726 mula_rewrite.k:787 mula_rewrite.k:811 mula_rewrite.k:806 mula_rewrite.k:810 mula_rewrite.k:809 mula_rewrite.k:813 file /home/mcc/execution/CTLFireability-59.sara. mula_rewrite.k:807 mula_rewrite.k:813 mula_rewrite.k:812 mula_rewrite.k:809 mula_rewrite.k:813 mula_rewrite.k:813 mula_rewrite.k:813 mula_rewrite.k:812 mula_rewrite.k:806 mula_rewrite.k:806 mula_rewrite.k:813 mula_rewrite.k:806 mula_rewrite.k:814 mula_rewrite.k:808 mula_rewrite.k:815 mula_rewrite.k:808 mula_rewrite.k:809 ordering is non-deterministic mula_rewrite.k:814 mula_rewrite.k:811 mula_rewrite.k:807 mula_rewrite.k:806 mula_rewrite.k:807 mula_rewrite.k:807 mula_rewrite.k:813 mula_rewrite.k:811 mula_rewrite.k:807 mula_rewrite.k:813 mula_rewrite.k:807 mula_rewrite.k:808 mula_rewrite.k:806 mula_rewrite.k:813 mula_rewrite.k:806 mula_rewrite.k:813 mula_rewrite.k:813 mula_rewrite.k:809 mula_rewrite.k:811 mula_rewrite.k:809 mula_rewrite.k:813 mula_rewrite.k:807 mula_rewrite.k:813 mula_rewrite.k:806 mula_rewrite.k:809 mula_rewrite.k:812 mula_rewrite.k:812 mula_rewrite.k:811 mula_rewrite.k:806 mula_rewrite.k:813 mula_rewrite.k:813 mula_rewrite.k:808 mula_rewrite.k:807 mula_rewrite.k:809 mula_rewrite.k:806 mula_rewrite.k:808 mula_rewrite.k:813 mula_rewrite.k:811 mula_rewrite.k:807 mula_rewrite.k:809 mula_rewrite.k:812 mula_rewrite.k:808 mula_rewrite.k:807 (type FNDP) for Szymanski-PT-a06-CTLFireability-04 596124 3181 1.000000 0 (type EQUN) for Szymanski-PT-a06-CTLFireability-04 (obsolete) (type EQUN) for Szymanski-PT-a06-CTLFireability-04 : unknown VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Szymanski-PT-a06-CTLFireability-07 1410488 m, 282097 m/sec, 4316079 t fired, . Pages in use: 6 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Szymanski-PT-a06-CTLFireability-07 2821248 m, 282152 m/sec, 8544044 t fired, . Pages in use: 12 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Szymanski-PT-a06-CTLFireability-07 4139167 m, 263583 m/sec, 12618768 t fired, . Pages in use: 18 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Szymanski-PT-a06-CTLFireability-07 5442881 m, 260742 m/sec, 16641864 t fired, . Pages in use: 23 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 Szymanski-PT-a06-CTLFireability-07 6847419 m, 280907 m/sec, 20778512 t fired, . Pages in use: 29 (type EXCL) for Szymanski-PT-a06-CTLFireability-07 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 53 Szymanski-PT-a06-CTLFireability-15 (type EXCL) for Szymanski-PT-a06-CTLFireability-15 : false 50 107 0.000000 1 EXCL) for 50 Szymanski-PT-a06-CTLFireability-14 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Szymanski-PT-a06-CTLFireability-14 1629191 m, 325838 m/sec, 4950733 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Szymanski-PT-a06-CTLFireability-14 3101775 m, 294516 m/sec, 9407230 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Szymanski-PT-a06-CTLFireability-14 4479620 m, 275569 m/sec, 13667136 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Szymanski-PT-a06-CTLFireability-14 5855248 m, 275125 m/sec, 17868116 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 Szymanski-PT-a06-CTLFireability-14 7349896 m, 298929 m/sec, 22218268 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-14 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 44 Szymanski-PT-a06-CTLFireability-12 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Szymanski-PT-a06-CTLFireability-12 1391902 m, 278380 m/sec, 5061838 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Szymanski-PT-a06-CTLFireability-12 2942318 m, 310083 m/sec, 9711139 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 Szymanski-PT-a06-CTLFireability-12 4321018 m, 275740 m/sec, 13999308 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Szymanski-PT-a06-CTLFireability-12 5700742 m, 275944 m/sec, 18219679 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Szymanski-PT-a06-CTLFireability-12 7223846 m, 304620 m/sec, 22636177 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-12 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 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 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 38 Szymanski-PT-a06-CTLFireability-10 (type EXCL) for Szymanski-PT-a06-CTLFireability-10 289 693 0.000000 1 EXCL) for 35 Szymanski-PT-a06-CTLFireability-09 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Szymanski-PT-a06-CTLFireability-09 1618566 m, 323713 m/sec, 4924978 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Szymanski-PT-a06-CTLFireability-09 3088395 m, 293965 m/sec, 9369692 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Szymanski-PT-a06-CTLFireability-09 4474482 m, 277217 m/sec, 13656199 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Szymanski-PT-a06-CTLFireability-09 5860253 m, 277154 m/sec, 17888797 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 Szymanski-PT-a06-CTLFireability-09 7382246 m, 304398 m/sec, 22315552 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 2 0 0 2 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 28 Szymanski-PT-a06-CTLFireability-08 (type EXCL) for Szymanski-PT-a06-CTLFireability-08 : false 129 388 0.000000 1 EXCL) for 28 Szymanski-PT-a06-CTLFireability-08 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 Szymanski-PT-a06-CTLFireability-08 1038762 m, 207752 m/sec, 3280295 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 Szymanski-PT-a06-CTLFireability-08 2016632 m, 195574 m/sec, 6104171 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Szymanski-PT-a06-CTLFireability-08 2905649 m, 177803 m/sec, 8801703 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 Szymanski-PT-a06-CTLFireability-08 3759398 m, 170749 m/sec, 11441181 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Szymanski-PT-a06-CTLFireability-08 4608097 m, 169739 m/sec, 14068502 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 Szymanski-PT-a06-CTLFireability-08 5445842 m, 167549 m/sec, 16650220 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 Szymanski-PT-a06-CTLFireability-08 6307048 m, 172241 m/sec, 19204901 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 1 0 3 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Szymanski-PT-a06-CTLFireability-08 7201171 m, 178824 m/sec, 21789083 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-08 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 19 Szymanski-PT-a06-CTLFireability-05 (type EXCL) for Szymanski-PT-a06-CTLFireability-05 : false 443 872 0.000000 1 EXCL) for 9 Szymanski-PT-a06-CTLFireability-03 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 Szymanski-PT-a06-CTLFireability-03 1767822 m, 353564 m/sec, 5107558 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 Szymanski-PT-a06-CTLFireability-03 3381106 m, 322656 m/sec, 9744215 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 Szymanski-PT-a06-CTLFireability-03 4882010 m, 300180 m/sec, 14095074 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 24/32 Szymanski-PT-a06-CTLFireability-03 6376646 m, 298927 m/sec, 18371029 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 1 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 Szymanski-PT-a06-CTLFireability-03 7936321 m, 311935 m/sec, 22758140 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-03 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 1 0 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 6 Szymanski-PT-a06-CTLFireability-02 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 Szymanski-PT-a06-CTLFireability-02 826242 m, 165248 m/sec, 4775504 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 Szymanski-PT-a06-CTLFireability-02 2320037 m, 298759 m/sec, 9705438 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 16/32 Szymanski-PT-a06-CTLFireability-02 3729116 m, 281815 m/sec, 14185513 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 Szymanski-PT-a06-CTLFireability-02 5068078 m, 267792 m/sec, 18506149 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 1 0 0 1 0 0 0 CTL 0 0 1 0 1 0 0 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 Szymanski-PT-a06-CTLFireability-02 6442598 m, 274904 m/sec, 22833270 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-02 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false 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 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 3 Szymanski-PT-a06-CTLFireability-01 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 6/32 Szymanski-PT-a06-CTLFireability-01 1408817 m, 281763 m/sec, 5720450 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 Szymanski-PT-a06-CTLFireability-01 2744990 m, 267234 m/sec, 11056873 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 Szymanski-PT-a06-CTLFireability-01 3959325 m, 242867 m/sec, 16022575 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 Szymanski-PT-a06-CTLFireability-01 5148632 m, 237861 m/sec, 20879686 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 Szymanski-PT-a06-CTLFireability-01 6376955 m, 245664 m/sec, 25786025 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Szymanski-PT-a06-CTLFireability-01 7677030 m, 260015 m/sec, 30837357 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-01 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 47 Szymanski-PT-a06-CTLFireability-13 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Szymanski-PT-a06-CTLFireability-13 1719235 m, 343847 m/sec, 5215128 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Szymanski-PT-a06-CTLFireability-13 3250722 m, 306297 m/sec, 9868935 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Szymanski-PT-a06-CTLFireability-13 4665982 m, 283052 m/sec, 14246369 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 Szymanski-PT-a06-CTLFireability-13 6088971 m, 284597 m/sec, 18567190 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Szymanski-PT-a06-CTLFireability-13 7633246 m, 308855 m/sec, 23035369 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-13 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 41 Szymanski-PT-a06-CTLFireability-11 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Szymanski-PT-a06-CTLFireability-11 1722240 m, 344448 m/sec, 5223420 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Szymanski-PT-a06-CTLFireability-11 3257093 m, 306970 m/sec, 9888429 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Szymanski-PT-a06-CTLFireability-11 4676388 m, 283859 m/sec, 14276772 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 Szymanski-PT-a06-CTLFireability-11 6104144 m, 285551 m/sec, 18613258 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 1 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Szymanski-PT-a06-CTLFireability-11 7660466 m, 311264 m/sec, 23115664 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-11 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 1 0 0 1 0 0 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 EXCL) for 22 Szymanski-PT-a06-CTLFireability-06 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 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 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 Szymanski-PT-a06-CTLFireability-06 1720807 m, 344161 m/sec, 5219529 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 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 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 Szymanski-PT-a06-CTLFireability-06 3234534 m, 302745 m/sec, 9817773 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 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 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 Szymanski-PT-a06-CTLFireability-06 4643256 m, 281744 m/sec, 14176790 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 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 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 Szymanski-PT-a06-CTLFireability-06 6056689 m, 282686 m/sec, 18470296 t fired, . Pages in use: 32 VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 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 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 Szymanski-PT-a06-CTLFireability-06 7591641 m, 306990 m/sec, 22914078 t fired, . Pages in use: 32 (type EXCL) for Szymanski-PT-a06-CTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY EFAG true tscc_search CONJ false findpath CTL false CTL model checker CTL true CTL model checker CTL false CTL model checker IDL ACT RUN SUS FIN C/T C/M OBS CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 EFAG 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 DISJ 0 0 0 0 3 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 CTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS Pages in use: 32 no open tasks 16 VALUE PRODUCED BY EFAG true tscc_search CTL unknown AGGR CTL unknown AGGR EFAG unknown AGGR CONJ false findpath CTL false CTL model checker CTL unknown AGGR CTL unknown AGGR DISJ unknown DISJ CTL unknown AGGR CTL true CTL model checker CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR CTL unknown AGGR CTL false 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="Szymanski-PT-a06"
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-5348"
echo " Executing tool lola"
echo " Input is Szymanski-PT-a06, 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 r486-tall-167912701200418"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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