MCC'2023- Execution of r198-smll-167840345100444

About the Execution of LoLA for HirschbergSinclair-PT-15

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1900.147	335424.00	315934.00	1114.90	?FF?F??FF?TFFTF?	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.r198-smll
Waiting for the VM to be ready (probing
...........................................
=====================
Generated by BenchKit 2-5348
Executing tool lola
Input is HirschbergSinclair-PT-15,
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r198-smll-16784034510
===========================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 9.1K Feb 26
-rw-r--r-- 1 mcc users 78K Feb 26
-rw-r--r-- 1 mcc users 10K Feb 26
-rw-r--r-- 1 mcc users 68K Feb 26
-rw-r--r-- 1 mcc users 5.6K Feb 25
-rw-r--r-- 1 mcc users 30K Feb 25
-rw-r--r-- 1 mcc users 3.5K Feb 25
-rw-r--r-- 1 mcc users 19K Feb 25
-rw-r--r-- 1 mcc users 14K Feb 26
-rw-r--r-- 1 mcc users 103K Feb 26
-rw-r--r-- 1 mcc users 8.8K Feb 26
-rw-r--r-- 1 mcc users 46K Feb 26
-rw-r--r-- 1 mcc users 2.0K Feb 25
-rw-r--r-- 1 mcc users 4.1K Feb 25
-rw-r--r-- 1 mcc users 6 Mar 5
-rw-r--r-- 1 mcc users 3 Mar 5
-rw-r--r-- 1 mcc users 6 Mar 5
-rw-r--r-- 1 mcc users 173K Mar 5

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

=== Data for post analysis generated

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi
FORMULA_NAME HirschbergSinclair-PT-15-LTLFi

=== Now, execution of the tool begins

BK_START 1678625551912

bash -c /home/mcc/BenchKit/BenchKit_head.sh
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=LTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HirschbergSinclair-PT-15
Not applying reductions.
Model is PT
LTLFireability PT
starting LoLA
BK_INPUT HirschbergSinclair-PT-15
BK_EXAMINATION: LTLFireability
bin directory: /home/mcc/BenchKit/bin//../l
current directory: /home/mcc/execution
LTLFireability

FORMULA HirschbergSinclair-PT-15-LTLFireability-08

FORMULA HirschbergSinclair-PT-15-LTLFireability-14

FORMULA HirschbergSinclair-PT-15-LTLFireability-13

FORMULA HirschbergSinclair-PT-15-LTLFireability-12

FORMULA HirschbergSinclair-PT-15-LTLFireability-11

FORMULA HirschbergSinclair-PT-15-LTLFireability-10

FORMULA HirschbergSinclair-PT-15-LTLFireability-07

FORMULA HirschbergSinclair-PT-15-LTLFireability-04

FORMULA HirschbergSinclair-PT-15-LTLFireability-01

FORMULA HirschbergSinclair-PT-15-LTLFireability-02

BK_STOP 1678625887336

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/executio
lola: reading pnml
lola: PNML file contains place/transition
lola: finished parsing
lola: closed net file /home/mcc/execution
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/exec
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: RELEASE
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 60 (type EXCL)
lola: time limit : 179 sec
lola: memory limit: 32 pages
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: LAUNCH task # 62 (type FNDP)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 63 (type EQUN)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 65 (type SRCH)
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 62 (type FNDP)
lola: result : true
lola: tried executions :
lola: time used :
lola: memory pages used :
lola: CANCELED task # 63 (type EQUN)
lola: CANCELED task # 65 (type SRCH)
lola: rewrite Frontend/Parser/formula_rew
lola: rewrite Frontend/Parser/formula_rew
lola: FINISHED task # 65 (type SRCH)
lola: result : unknown
lola: time used :
lola: memory pages used :
sara: try reading problem file /home/mcc/ex
sara: place or transition ordering

lola: FINISHED task # 63 (type EQUN)
lola: result : true
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 5/211

Time elapsed: 6 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 10/211

Time elapsed: 11 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 15/211

Time elapsed: 16 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 20/211

Time elapsed: 21 secs. Pages in use: 10
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 25/211

Time elapsed: 26 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 30/211

Time elapsed: 31 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 35/211

Time elapsed: 36 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 40/211

Time elapsed: 41 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 45/211

Time elapsed: 46 secs. Pages in use: 21
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 50/211

Time elapsed: 51 secs. Pages in use: 23
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 55/211

Time elapsed: 56 secs. Pages in use: 26
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 60/211

Time elapsed: 61 secs. Pages in use: 28
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 65/211

Time elapsed: 66 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
60 EG EXCL 70/211

Time elapsed: 71 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 60 (type EXCL)
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 76 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 58 (type EXCL)
lola: time limit : 220 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 5/220

Time elapsed: 81 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 10/220

Time elapsed: 86 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 15/220

Time elapsed: 91 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 20/220

Time elapsed: 96 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 25/220

Time elapsed: 101 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 30/220

Time elapsed: 106 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
58 LTL EXCL 35/220

Time elapsed: 111 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 58 (type EXCL)
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 116 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 55 (type EXCL)
lola: time limit : 232 sec
lola: memory limit: 32 pages
lola: FINISHED task # 55 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 52 (type EXCL)
lola: time limit : 248 sec
lola: memory limit: 32 pages
lola: FINISHED task # 52 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 49 (type EXCL)
lola: time limit : 268 sec
lola: memory limit: 32 pages
lola: FINISHED task # 49 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 47 (type EXCL)
lola: time limit : 290 sec
lola: memory limit: 32 pages
lola: FINISHED task # 47 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 42 (type EXCL)
lola: time limit : 316 sec
lola: memory limit: 32 pages
lola: FINISHED task # 42 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 39 (type EXCL)
lola: time limit : 348 sec
lola: memory limit: 32 pages
lola: FINISHED task # 39 (type EXCL)
lola: result : true
lola: markings :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 36 (type EXCL)
lola: time limit : 387 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 5/387

Time elapsed: 121 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 10/387

Time elapsed: 126 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 15/387

Time elapsed: 131 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 20/387

Time elapsed: 136 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 25/387

Time elapsed: 141 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 30/387

Time elapsed: 146 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 35/387

Time elapsed: 151 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 40/387

Time elapsed: 156 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 45/387

Time elapsed: 161 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 50/387

Time elapsed: 166 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 55/387

Time elapsed: 171 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
36 LTL EXCL 60/387

Time elapsed: 176 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 36 (type EXCL)
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 181 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 26 (type EXCL)
lola: time limit : 427 sec
lola: memory limit: 32 pages
lola: FINISHED task # 26 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 23 (type EXCL)
lola: time limit : 488 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 5/488

Time elapsed: 186 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 10/488

Time elapsed: 191 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 15/488

Time elapsed: 196 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 20/488

Time elapsed: 201 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 25/488

Time elapsed: 206 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 30/488

Time elapsed: 211 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 35/488

Time elapsed: 216 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
23 LTL EXCL 40/488

Time elapsed: 221 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 23 (type EXCL)
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 226 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 20 (type EXCL)
lola: time limit : 562 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 5/562

Time elapsed: 231 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 10/562

Time elapsed: 236 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 15/562

Time elapsed: 241 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 20/562

Time elapsed: 246 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 25/562

Time elapsed: 251 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 30/562

Time elapsed: 256 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 35/562

Time elapsed: 261 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
20 LTL EXCL 40/562

Time elapsed: 266 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 20 (type EXCL)
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 271 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 17 (type EXCL)
lola: time limit : 665 sec
lola: memory limit: 32 pages
lola: FINISHED task # 17 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 14 (type EXCL)
lola: time limit : 832 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 5/832

Time elapsed: 276 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 10/832

Time elapsed: 281 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 15/832

Time elapsed: 286 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 20/832

Time elapsed: 291 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 25/832

Time elapsed: 296 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 30/832

Time elapsed: 301 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 35/832

Time elapsed: 306 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 40/832

Time elapsed: 311 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 45/832

Time elapsed: 316 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 50/832

Time elapsed: 321 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 55/832

Time elapsed: 326 secs. Pages
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT
14 LTL EXCL 60/832

Time elapsed: 331 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 14 (type EXCL)
FINISHED FORMULA: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-04:
HirschbergSinclair-PT-15-LTLFireability-07:
HirschbergSinclair-PT-15-LTLFireability-08:
HirschbergSinclair-PT-15-LTLFireability-10:
HirschbergSinclair-PT-15-LTLFireability-11:
HirschbergSinclair-PT-15-LTLFireability-12:
HirschbergSinclair-PT-15-LTLFireability-13:
HirschbergSinclair-PT-15-LTLFireability-14:

PENDING FORMULAS: CATEGORY
HirschbergSinclair-PT-15-LTLFireability-00:
HirschbergSinclair-PT-15-LTLFireability-01:
HirschbergSinclair-PT-15-LTLFireability-02:
HirschbergSinclair-PT-15-LTLFireability-03:
HirschbergSinclair-PT-15-LTLFireability-05:
HirschbergSinclair-PT-15-LTLFireability-06:
HirschbergSinclair-PT-15-LTLFireability-09:
HirschbergSinclair-PT-15-LTLFireability-15:

TASK CATEGORY TYPE TIME/TLIMIT

Time elapsed: 336 secs. Pages
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 8 (type EXCL)
lola: time limit : 1088 sec
lola: memory limit: 32 pages
lola: FINISHED task # 8 (type EXCL)
lola: result : true
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 6 (type EXCL)
lola: time limit : 1632 sec
lola: memory limit: 32 pages
lola: FINISHED task # 6 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: LAUNCH task # 11 (type EXCL)
lola: time limit : 3264 sec
lola: memory limit: 32 pages
lola: FINISHED task # 11 (type EXCL)
lola: result : false
lola: markings :
lola: fired transitions :
lola: time used :
lola: memory pages used :
lola: Portfolio finished: no open

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

Time elapsed: 336 secs. Pages
-167840345100444.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ssh) .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ================================================ examination is LTLFireability 0444 ========================== 02:14 CTLCardinality.txt 02:14 CTLCardinality.xml 02:13 CTLFireability.txt 02:13 CTLFireability.xml 16:15 LTLCardinality.txt 16:15 LTLCardinality.xml 16:15 LTLFireability.txt 16:15 LTLFireability.xml 02:15 ReachabilityCardinality.txt 02:15 ReachabilityCardinality.xml 02:14 ReachabilityFireability.txt 02:14 ReachabilityFireability.xml 16:15 UpperBounds.txt 16:15 UpperBounds.xml 18:22 equiv_col 18:22 instance 18:22 iscolored 18:22 model.pnml by BenchKit (invocation template) result vector(from text file) reability-00 reability-01 reability-02 reability-03 reability-04 reability-05 reability-06 reability-07 reability-08 reability-09 reability-10 reability-11 reability-12 reability-13 reability-14 reability-15 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N ola/bin/ FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT n/model.pnml net /model.pnml ution/LTLFireability.xml rite.k:328 rite.k:296 rite.k:421 rite.k:421 rite.k:346 rite.k:328 rite.k:296 rite.k:550 rite.k:430 rite.k:317 rite.k:296 rite.k:331 rite.k:296 rite.k:355 rite.k:334 rite.k:331 rite.k:314 rite.k:299 rite.k:328 rite.k:299 rite.k:433 rite.k:250 rite.k:493 rite.k:355 rite.k:346 rite.k:355 rite.k:433 rite.k:355 rite.k:334 rite.k:334 rite.k:331 rite.k:296 rite.k:527 rite.k:355 rite.k:352 rite.k:376 rite.k:334 rite.k:296 rite.k:317 rite.k:296 rite.k:331 rite.k:296 rite.k:328 rite.k:296 rite.k:352 rite.k:352 rite.k:334 rite.k:334 rite.k:328 rite.k:296 rite.k:544 rite.k:430 rite.k:96 rite.k:162 rite.k:156 rite.k:120 rite.k:352 rite.k:317 rite.k:331 rite.k:296 rite.k:334 rite.k:328 rite.k:296 rite.k:250 rite.k:314 rite.k:331 rite.k:296 rite.k:314 rite.k:328 rite.k:296 rite.k:314 rite.k:328 rite.k:299 rite.k:334 rite.k:331 rite.k:299 rite.k:430 rite.k:379 rite.k:346 rite.k:250 rite.k:418 rite.k:331 rite.k:296 rite.k:430 rite.k:346 rite.k:317 rite.k:331 rite.k:296 rite.k:314 rite.k:328 rite.k:299 rite.k:331 rite.k:296 rite.k:550 rite.k:314 rite.k:296 rite.k:328 rite.k:296 rite.k:527 rite.k:355 rite.k:334 rite.k:331 rite.k:317 rite.k:296 rite.k:337 rite.k:296 rite.k:296 places removed rite.k:749 rite.k:787 for 0 HirschbergSinclair-PT-15-LTLFireability-00 rite.k:721 rite.k:787 rite.k:721 rite.k:787 rite.k:721 rite.k:787 for 28 HirschbergSinclair-PT-15-LTLFireability-08 for 28 HirschbergSinclair-PT-15-LTLFireability-08 for 28 HirschbergSinclair-PT-15-LTLFireability-08 for HirschbergSinclair-PT-15-LTLFireability-08 1 0.000000 0 for HirschbergSinclair-PT-15-LTLFireability-08 (obsolete) for HirschbergSinclair-PT-15-LTLFireability-08 (obsolete) rite.k:721 rite.k:787 for HirschbergSinclair-PT-15-LTLFireability-08 0.000000 1 ecution/LTLFireability-63.sara. is non-deterministic for HirschbergSinclair-PT-15-LTLFireability-08 VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 3/32 HirschbergSinclair-PT-15-LTLFireability-00 579469 m, 115893 m/sec, 1477684 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 HirschbergSinclair-PT-15-LTLFireability-00 1183717 m, 120849 m/sec, 3164739 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 8/32 HirschbergSinclair-PT-15-LTLFireability-00 1785560 m, 120368 m/sec, 4970047 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 HirschbergSinclair-PT-15-LTLFireability-00 2378080 m, 118504 m/sec, 6751639 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 HirschbergSinclair-PT-15-LTLFireability-00 2978934 m, 120170 m/sec, 8537377 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 HirschbergSinclair-PT-15-LTLFireability-00 3512709 m, 106755 m/sec, 10157197 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 HirschbergSinclair-PT-15-LTLFireability-00 4008643 m, 99186 m/sec, 11804022 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 19/32 HirschbergSinclair-PT-15-LTLFireability-00 4555881 m, 109447 m/sec, 13568304 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 HirschbergSinclair-PT-15-LTLFireability-00 5158069 m, 120437 m/sec, 15389175 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 HirschbergSinclair-PT-15-LTLFireability-00 5737551 m, 115896 m/sec, 17175879 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 HirschbergSinclair-PT-15-LTLFireability-00 6282801 m, 109050 m/sec, 18979091 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 28/32 HirschbergSinclair-PT-15-LTLFireability-00 6836935 m, 110826 m/sec, 20735934 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 30/32 HirschbergSinclair-PT-15-LTLFireability-00 7420711 m, 116755 m/sec, 22534253 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 1 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 HirschbergSinclair-PT-15-LTLFireability-00 7994037 m, 114665 m/sec, 24309872 t fired, . for HirschbergSinclair-PT-15-LTLFireability-00 (memory limit exceeded) VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS for 57 HirschbergSinclair-PT-15-LTLFireability-15 VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 HirschbergSinclair-PT-15-LTLFireability-15 626515 m, 125303 m/sec, 1783447 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 HirschbergSinclair-PT-15-LTLFireability-15 1235391 m, 121775 m/sec, 3684911 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 HirschbergSinclair-PT-15-LTLFireability-15 1821010 m, 117123 m/sec, 5557359 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 HirschbergSinclair-PT-15-LTLFireability-15 2411206 m, 118039 m/sec, 7451260 t fired, . VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 HirschbergSinclair-PT-15-LTLFireability-15 2941498 m, 106058 m/sec, 9322152 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 26/32 HirschbergSinclair-PT-15-LTLFireability-15 3507436 m, 113187 m/sec, 11221085 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 HirschbergSinclair-PT-15-LTLFireability-15 4058446 m, 110202 m/sec, 13047131 t fired, . in use: 32 for HirschbergSinclair-PT-15-LTLFireability-15 (memory limit exceeded) VALUE PRODUCED BY CONJ false findpath IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 54 HirschbergSinclair-PT-15-LTLFireability-14 for HirschbergSinclair-PT-15-LTLFireability-14 302 302 0.000000 1 for 51 HirschbergSinclair-PT-15-LTLFireability-13 for HirschbergSinclair-PT-15-LTLFireability-13 121 225 0.000000 1 for 44 HirschbergSinclair-PT-15-LTLFireability-12 for HirschbergSinclair-PT-15-LTLFireability-12 16 15 0.000000 1 for 44 HirschbergSinclair-PT-15-LTLFireability-12 for HirschbergSinclair-PT-15-LTLFireability-12 275 275 0.000000 1 for 41 HirschbergSinclair-PT-15-LTLFireability-11 for HirschbergSinclair-PT-15-LTLFireability-11 277 279 0.000000 1 for 38 HirschbergSinclair-PT-15-LTLFireability-10 for HirschbergSinclair-PT-15-LTLFireability-10 1 0.000000 1 for 35 HirschbergSinclair-PT-15-LTLFireability-09 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 HirschbergSinclair-PT-15-LTLFireability-09 429133 m, 85826 m/sec, 1804823 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 HirschbergSinclair-PT-15-LTLFireability-09 818867 m, 77946 m/sec, 3668901 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 HirschbergSinclair-PT-15-LTLFireability-09 1157821 m, 67790 m/sec, 5521882 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 HirschbergSinclair-PT-15-LTLFireability-09 1499723 m, 68380 m/sec, 7282476 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 15/32 HirschbergSinclair-PT-15-LTLFireability-09 1866257 m, 73306 m/sec, 9101025 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 HirschbergSinclair-PT-15-LTLFireability-09 2203542 m, 67457 m/sec, 10934076 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 HirschbergSinclair-PT-15-LTLFireability-09 2539739 m, 67239 m/sec, 12690468 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 HirschbergSinclair-PT-15-LTLFireability-09 2844240 m, 60900 m/sec, 14438665 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 HirschbergSinclair-PT-15-LTLFireability-09 3145105 m, 60173 m/sec, 16235402 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 HirschbergSinclair-PT-15-LTLFireability-09 3429277 m, 56834 m/sec, 18014775 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 HirschbergSinclair-PT-15-LTLFireability-09 3693932 m, 52931 m/sec, 19743831 t fired, . in use: 32 VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 HirschbergSinclair-PT-15-LTLFireability-09 3985962 m, 58406 m/sec, 21487941 t fired, . in use: 32 for HirschbergSinclair-PT-15-LTLFireability-09 (memory limit exceeded) VALUE PRODUCED BY CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 25 HirschbergSinclair-PT-15-LTLFireability-07 for HirschbergSinclair-PT-15-LTLFireability-07 275 275 0.000000 1 for 22 HirschbergSinclair-PT-15-LTLFireability-06 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 HirschbergSinclair-PT-15-LTLFireability-06 607019 m, 121403 m/sec, 1690478 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 HirschbergSinclair-PT-15-LTLFireability-06 1191332 m, 116862 m/sec, 3411539 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 HirschbergSinclair-PT-15-LTLFireability-06 1740031 m, 109739 m/sec, 5138423 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 HirschbergSinclair-PT-15-LTLFireability-06 2238463 m, 99686 m/sec, 6833346 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 22/32 HirschbergSinclair-PT-15-LTLFireability-06 2730878 m, 98483 m/sec, 8453475 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 HirschbergSinclair-PT-15-LTLFireability-06 3184390 m, 90702 m/sec, 10161041 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 HirschbergSinclair-PT-15-LTLFireability-06 3612994 m, 85720 m/sec, 11937382 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 HirschbergSinclair-PT-15-LTLFireability-06 4071275 m, 91656 m/sec, 13680240 t fired, . in use: 32 for HirschbergSinclair-PT-15-LTLFireability-06 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 19 HirschbergSinclair-PT-15-LTLFireability-05 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 5/32 HirschbergSinclair-PT-15-LTLFireability-05 572553 m, 114510 m/sec, 1792374 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 9/32 HirschbergSinclair-PT-15-LTLFireability-05 1161354 m, 117760 m/sec, 3699481 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 13/32 HirschbergSinclair-PT-15-LTLFireability-05 1701045 m, 107938 m/sec, 5606084 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 18/32 HirschbergSinclair-PT-15-LTLFireability-05 2261030 m, 111997 m/sec, 7536030 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 21/32 HirschbergSinclair-PT-15-LTLFireability-05 2767268 m, 101247 m/sec, 9428274 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 HirschbergSinclair-PT-15-LTLFireability-05 3331793 m, 112905 m/sec, 11333047 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 HirschbergSinclair-PT-15-LTLFireability-05 3804482 m, 94537 m/sec, 13213711 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 32/32 HirschbergSinclair-PT-15-LTLFireability-05 4339797 m, 107063 m/sec, 15107428 t fired, . in use: 32 for HirschbergSinclair-PT-15-LTLFireability-05 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 16 HirschbergSinclair-PT-15-LTLFireability-04 for HirschbergSinclair-PT-15-LTLFireability-04 276 276 0.000000 1 for 13 HirschbergSinclair-PT-15-LTLFireability-03 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 4/32 HirschbergSinclair-PT-15-LTLFireability-03 432636 m, 86527 m/sec, 1819134 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 7/32 HirschbergSinclair-PT-15-LTLFireability-03 822154 m, 77903 m/sec, 3636406 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 10/32 HirschbergSinclair-PT-15-LTLFireability-03 1192078 m, 73984 m/sec, 5476459 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 12/32 HirschbergSinclair-PT-15-LTLFireability-03 1532261 m, 68036 m/sec, 7297997 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 14/32 HirschbergSinclair-PT-15-LTLFireability-03 1852488 m, 64045 m/sec, 8997256 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 17/32 HirschbergSinclair-PT-15-LTLFireability-03 2199087 m, 69319 m/sec, 10774636 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 20/32 HirschbergSinclair-PT-15-LTLFireability-03 2572040 m, 74590 m/sec, 12604191 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 23/32 HirschbergSinclair-PT-15-LTLFireability-03 2906289 m, 66849 m/sec, 14392846 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 25/32 HirschbergSinclair-PT-15-LTLFireability-03 3204171 m, 59576 m/sec, 16086880 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 27/32 HirschbergSinclair-PT-15-LTLFireability-03 3511050 m, 61375 m/sec, 17771568 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 29/32 HirschbergSinclair-PT-15-LTLFireability-03 3803856 m, 58561 m/sec, 19456774 t fired, . in use: 32 VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS 31/32 HirschbergSinclair-PT-15-LTLFireability-03 4104029 m, 60034 m/sec, 21235538 t fired, . in use: 32 for HirschbergSinclair-PT-15-LTLFireability-03 (memory limit exceeded) VALUE PRODUCED BY LTL false LTL model checker LTL false LTL model checker CONJ false findpath LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS F 0 0 0 0 1 0 1 0 CONJ 0 2 0 0 2 0 0 0 LTL 0 1 0 0 1 0 0 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 LTL 0 0 0 0 1 0 1 0 MEM PG/PGLIMIT FORMULA STATUS in use: 32 for 3 HirschbergSinclair-PT-15-LTLFireability-01 for HirschbergSinclair-PT-15-LTLFireability-01 121 225 0.000000 1 for 3 HirschbergSinclair-PT-15-LTLFireability-01 for HirschbergSinclair-PT-15-LTLFireability-01 275 275 0.000000 1 for 10 HirschbergSinclair-PT-15-LTLFireability-02 for HirschbergSinclair-PT-15-LTLFireability-02 150 152 0.000000 1 tasks 16 VALUE PRODUCED BY F unknown AGGR CONJ false LTL model checker LTL false LTL model checker LTL unknown AGGR LTL false LTL model checker LTL unknown AGGR LTL unknown AGGR LTL false LTL model checker CONJ false findpath LTL unknown AGGR LTL true LTL model checker LTL false LTL model checker CONJ false LTL model checker LTL true LTL model checker LTL false LTL model checker LTL unknown AGGR 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="HirschbergSinclair-PT-15"
export BK_EXAMINATION="LTLFireability"
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 HirschbergSinclair-PT-15, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r198-smll-167840345100444"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-15.tgz
mv HirschbergSinclair-PT-15 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;