MCC'2024- Execution of r093-tall-171624191400684

About the Execution of LoLA for DES-PT-20a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16198.827	360445.00	363225.00	1227.20	T?FFT?F?TF??FFFF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r093-tall-171624191400684.qcow2',
Waiting for the VM to be ready (probing ssh)
...........................................................
=====================================
Generated by BenchKit 2-5568
Executing tool lola
Input is DES-PT-20a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-171624191400684
===========================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 7.6K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesD
-rw-r--r-- 1 mcc users 6.6K May 18 16:42 GenericPropertiesV
-rw-r--r-- 1 mcc users 3.3K Apr 22 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 22 14:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 22 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 12 08:39 ReachabilityCardin
-rw-r--r-- 1 mcc users 169K Apr 12 08:39 ReachabilityCardin
-rw-r--r-- 1 mcc users 5.9K Apr 12 08:34 ReachabilityFireab
-rw-r--r-- 1 mcc users 47K Apr 12 08:34 ReachabilityFireab
-rw-r--r-- 1 mcc users 1.5K Apr 22 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 22 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 57K May 18 16:42 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from
FORMULA_NAME DES-PT-20a-LTLFireability-00
FORMULA_NAME DES-PT-20a-LTLFireability-01
FORMULA_NAME DES-PT-20a-LTLFireability-02
FORMULA_NAME DES-PT-20a-LTLFireability-03
FORMULA_NAME DES-PT-20a-LTLFireability-04
FORMULA_NAME DES-PT-20a-LTLFireability-05
FORMULA_NAME DES-PT-20a-LTLFireability-06
FORMULA_NAME DES-PT-20a-LTLFireability-07
FORMULA_NAME DES-PT-20a-LTLFireability-08
FORMULA_NAME DES-PT-20a-LTLFireability-09
FORMULA_NAME DES-PT-20a-LTLFireability-10
FORMULA_NAME DES-PT-20a-LTLFireability-11
FORMULA_NAME DES-PT-20a-LTLFireability-12
FORMULA_NAME DES-PT-20a-LTLFireability-13
FORMULA_NAME DES-PT-20a-LTLFireability-14
FORMULA_NAME DES-PT-20a-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1717275804008

FORMULA DES-PT-20a-LTLFireability-04 TRUE TECHNIQUES
FORMULA DES-PT-20a-LTLFireability-15 FALSE
FORMULA DES-PT-20a-LTLFireability-14 FALSE
FORMULA DES-PT-20a-LTLFireability-13 FALSE
FORMULA DES-PT-20a-LTLFireability-12 FALSE
FORMULA DES-PT-20a-LTLFireability-08 TRUE
FORMULA DES-PT-20a-LTLFireability-06 FALSE
FORMULA DES-PT-20a-LTLFireability-03 FALSE
FORMULA DES-PT-20a-LTLFireability-02 FALSE
FORMULA DES-PT-20a-LTLFireability-00 TRUE
FORMULA DES-PT-20a-LTLFireability-09 FALSE

BK_STOP 1717276164453

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

[[35mlola[0m][I] LoLA will run for 3600 seconds
[[35mlola[0m][W] [1m[33munknown unit in memory
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition
[[35mlola[0m][I] closed [1m[34mnet[0m file
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] Reading formula.
[[35mlola[0m][I] Using XML format ([1m[36m--xmlformul
[[35mlola[0m][I] reading XML formula
[[35mlola[0m][I] reading [1m[34mformula[0m
[[35mlola[0m][I] Rule S: 0 transitions removed,0
[[35mlola[0m][I] LAUNCH task # 17 (type EXCL)
[[35mlola[0m][I] time limit : 163 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 17 (type EXCL)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 11
[[35mlola[0m][I] fired transitions : 10
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 51 (type EXCL)
[[35mlola[0m][I] time limit : 179 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] LAUNCH task # 61 (type FNDP)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] LAUNCH task # 62 (type EQUN)
[[35mlola[0m][I] time limit : 32000000 sec
[[35mlola[0m][I] memory limit: 5 pages
[[35mlola[0m][I] FINISHED task # 61 (type FNDP)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] tried executions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 0
[[35mlola[0m][W] CANCELED task # 62 (type EQUN)
[[35mlola[0m][I] FINISHED task # 51 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 8831
[[35mlola[0m][I] fired transitions : 35882
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 48 (type EXCL)
[[35mlola[0m][I] time limit : 239 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 48 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 46
[[35mlola[0m][I] fired transitions : 46
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 41 (type EXCL)
[[35mlola[0m][I] time limit : 276 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 41 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 46
[[35mlola[0m][I] fired transitions : 46
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 29 (type EXCL)
[[35mlola[0m][I] time limit : 299 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 29 (type EXCL)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 2
[[35mlola[0m][I] fired transitions : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 23 (type EXCL)
[[35mlola[0m][I] time limit : 326 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 23 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 46
[[35mlola[0m][I] fired transitions : 46
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 14 (type EXCL)
[[35mlola[0m][I] time limit : 359 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 14 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 46
[[35mlola[0m][I] fired transitions : 46
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 11 (type EXCL)
[[35mlola[0m][I] time limit : 399 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 11 (type EXCL)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 5
[[35mlola[0m][I] fired transitions : 4
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 9 (type EXCL) for
[[35mlola[0m][I] time limit : 449 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 9 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 46
[[35mlola[0m][I] fired transitions : 46
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 1 (type EXCL) for
[[35mlola[0m][I] time limit : 513 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 1 (type EXCL)
[[35mlola[0m][I] result : true
[[35mlola[0m][I] markings : 1
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 32 (type EXCL)
[[35mlola[0m][I] time limit : 598 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 32 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 26
[[35mlola[0m][I] fired transitions : 26
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 35 (type EXCL)
[[35mlola[0m][I] time limit : 718 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 62 (type EQUN)
[[35mlola[0m][I] result : unknown
[[35mlola[0m][I] FINISHED task # 35 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 1078896
[[35mlola[0m][I] fired transitions : 1519836
[[35mlola[0m][I] time used : 3
[[35mlola[0m][I] memory pages used : 8
[[35mlola[0m][I] LAUNCH task # 4 (type EXCL) for
[[35mlola[0m][I] time limit : 897 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 4 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 26
[[35mlola[0m][I] fired transitions : 26
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 20 (type EXCL)
[[35mlola[0m][I] time limit : 1196 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] FINISHED task # 20 (type EXCL)
[[35mlola[0m][I] result : false
[[35mlola[0m][I] markings : 28
[[35mlola[0m][I] fired transitions : 29
[[35mlola[0m][I] time used : 0
[[35mlola[0m][I] memory pages used : 1
[[35mlola[0m][I] LAUNCH task # 38 (type EXCL)
[[35mlola[0m][I] time limit : 1794 sec
[[35mlola[0m][I] memory limit: 2000 pages
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 2/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 13 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 7/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 18 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 12/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 23 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 17/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 28 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 22/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 33 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 27/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 38 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 32/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 43 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 37/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 48 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 42/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 53 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 47/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 58 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 52/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 63 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 57/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 68 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 62/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 73 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 67/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 78 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 72/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 83 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 77/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 88 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 82/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 93 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 87/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 98 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 92/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 103 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 97/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 108 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 102/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 113 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 107/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 118 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 112/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 123 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 117/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 128 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 122/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 133 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 127/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 138 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 132/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 143 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 137/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 148 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 142/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 153 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 147/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 158 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 152/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 163 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 157/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 168 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 162/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 173 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 167/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 178 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 172/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 183 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 177/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 188 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 182/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 193 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 187/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 198 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 192/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 203 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 197/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 208 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 202/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 213 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 207/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 218 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 212/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 223 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 217/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 228 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 222/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 233 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 227/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 238 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 232/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 243 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 237/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 248 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 242/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 253 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 247/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 258 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 252/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 263 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 257/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 268 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 262/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 273 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 267/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 278 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 272/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 283 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 277/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 288 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 282/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 293 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 287/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 298 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 292/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 303 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 297/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 308 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 302/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 313 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 307/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 318 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 312/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 323 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 317/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 328 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 322/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 333 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 327/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 338 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 332/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 343 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 337/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 348 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 342/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 353 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
[[35mlola[0m][I] [1m FINISHED FORMULA: CATEGORY
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-00:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-01:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-02:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-03:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-04:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-05:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-06:
[[35mlola[0m][.] [1m[32mDES-PT-20a-LTLFireability-08:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-09:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-10:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-12:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-13:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-14:
[[35mlola[0m][.] [1m[31mDES-PT-20a-LTLFireability-15:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m PENDING FORMULAS: CATEGORY
[[35mlola[0m][.] DES-PT-20a-LTLFireability-07:
[[35mlola[0m][.] DES-PT-20a-LTLFireability-11:
[[35mlola[0m][.]
[[35mlola[0m][.] [1m TASK CATEGORY TYPE TIME/TLIMIT
[[35mlola[0m][.] 38 LTL EXCL 347/1794
[[35mlola[0m][.]
[[35mlola[0m][.] Time elapsed: 358 secs. Pages
[[35mlola[0m][.] # running tasks: 1 of 4. Visible: 16
/home/mcc/BenchKit/BenchKit_head.sh: line 23: 410 Killed
fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... ================================ ========== efinition.xml erdict.xml ality.txt ality.xml ility.txt ility.xml template) text file) COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT at most ([1m[36m--timelimit[0m) specification: using default[0m [4m[34mmodel.pnml[0m 0m) net [4m[34mmodel.pnml[0m a[0m) from [4m[34mLTLFireability.xml[0m places removed for 16 DES-PT-20a-LTLFireability-04 for DES-PT-20a-LTLFireability-04 for 50 DES-PT-20a-LTLFireability-14 for 53 DES-PT-20a-LTLFireability-15 for 53 DES-PT-20a-LTLFireability-15 for DES-PT-20a-LTLFireability-15 for DES-PT-20a-LTLFireability-15 (obsolete) for DES-PT-20a-LTLFireability-14 for 43 DES-PT-20a-LTLFireability-13 for DES-PT-20a-LTLFireability-13 for 40 DES-PT-20a-LTLFireability-12 for DES-PT-20a-LTLFireability-12 for 28 DES-PT-20a-LTLFireability-08 for DES-PT-20a-LTLFireability-08 for 22 DES-PT-20a-LTLFireability-06 for DES-PT-20a-LTLFireability-06 for 13 DES-PT-20a-LTLFireability-03 for DES-PT-20a-LTLFireability-03 for 6 DES-PT-20a-LTLFireability-02 for DES-PT-20a-LTLFireability-02 6 DES-PT-20a-LTLFireability-02 for DES-PT-20a-LTLFireability-02 0 DES-PT-20a-LTLFireability-00 for DES-PT-20a-LTLFireability-00 for 31 DES-PT-20a-LTLFireability-09 for DES-PT-20a-LTLFireability-09 for 34 DES-PT-20a-LTLFireability-10 for DES-PT-20a-LTLFireability-15 for DES-PT-20a-LTLFireability-10 3 DES-PT-20a-LTLFireability-01 for DES-PT-20a-LTLFireability-01 for 19 DES-PT-20a-LTLFireability-05 for DES-PT-20a-LTLFireability-05 for 37 DES-PT-20a-LTLFireability-11 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 6/2000 DES-PT-20a-LTLFireability-11 842680 m, 168536 m/sec, 1035585 t fired, . in use: 8 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 21/2000 DES-PT-20a-LTLFireability-11 2940212 m, 419506 m/sec, 3609481 t fired, . in use: 21 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 35/2000 DES-PT-20a-LTLFireability-11 4923869 m, 396731 m/sec, 6115857 t fired, . in use: 35 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 48/2000 DES-PT-20a-LTLFireability-11 6838137 m, 382853 m/sec, 8526489 t fired, . in use: 48 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 61/2000 DES-PT-20a-LTLFireability-11 8748074 m, 381987 m/sec, 10943286 t fired, . in use: 61 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 73/2000 DES-PT-20a-LTLFireability-11 10491811 m, 348747 m/sec, 13169920 t fired, . in use: 73 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 85/2000 DES-PT-20a-LTLFireability-11 12318633 m, 365364 m/sec, 15505232 t fired, . in use: 85 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 99/2000 DES-PT-20a-LTLFireability-11 14272992 m, 390871 m/sec, 17963889 t fired, . in use: 99 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 113/2000 DES-PT-20a-LTLFireability-11 16259734 m, 397348 m/sec, 20485411 t fired, . in use: 113 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 126/2000 DES-PT-20a-LTLFireability-11 18193103 m, 386673 m/sec, 22930771 t fired, . in use: 126 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 138/2000 DES-PT-20a-LTLFireability-11 19966730 m, 354725 m/sec, 25229364 t fired, . in use: 138 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 152/2000 DES-PT-20a-LTLFireability-11 21945712 m, 395796 m/sec, 27754876 t fired, . in use: 152 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 165/2000 DES-PT-20a-LTLFireability-11 23899711 m, 390799 m/sec, 30277270 t fired, . in use: 165 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 179/2000 DES-PT-20a-LTLFireability-11 25834559 m, 386969 m/sec, 32767777 t fired, . in use: 179 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 192/2000 DES-PT-20a-LTLFireability-11 27675689 m, 368226 m/sec, 35158892 t fired, . in use: 192 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 204/2000 DES-PT-20a-LTLFireability-11 29523004 m, 369463 m/sec, 37532909 t fired, . in use: 204 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 217/2000 DES-PT-20a-LTLFireability-11 31296832 m, 354765 m/sec, 39829572 t fired, . in use: 217 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 228/2000 DES-PT-20a-LTLFireability-11 33023333 m, 345300 m/sec, 42093144 t fired, . in use: 228 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 240/2000 DES-PT-20a-LTLFireability-11 34724136 m, 340160 m/sec, 44318676 t fired, . in use: 240 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 254/2000 DES-PT-20a-LTLFireability-11 36733488 m, 401870 m/sec, 46836799 t fired, . in use: 254 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 267/2000 DES-PT-20a-LTLFireability-11 38693049 m, 391912 m/sec, 49321445 t fired, . in use: 267 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 281/2000 DES-PT-20a-LTLFireability-11 40605317 m, 382453 m/sec, 51747653 t fired, . in use: 281 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 294/2000 DES-PT-20a-LTLFireability-11 42499295 m, 378795 m/sec, 54153489 t fired, . in use: 294 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 306/2000 DES-PT-20a-LTLFireability-11 44336281 m, 367397 m/sec, 56504925 t fired, . in use: 306 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 318/2000 DES-PT-20a-LTLFireability-11 46093260 m, 351395 m/sec, 58756608 t fired, . in use: 318 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 329/2000 DES-PT-20a-LTLFireability-11 47805476 m, 342443 m/sec, 60928106 t fired, . in use: 329 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 342/2000 DES-PT-20a-LTLFireability-11 49593755 m, 357655 m/sec, 63165405 t fired, . in use: 342 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 353/2000 DES-PT-20a-LTLFireability-11 51277692 m, 336787 m/sec, 65306838 t fired, . in use: 353 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 365/2000 DES-PT-20a-LTLFireability-11 52938062 m, 332074 m/sec, 67417831 t fired, . in use: 365 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 376/2000 DES-PT-20a-LTLFireability-11 54568803 m, 326148 m/sec, 69493027 t fired, . in use: 376 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 387/2000 DES-PT-20a-LTLFireability-11 56201988 m, 326637 m/sec, 71561432 t fired, . in use: 387 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 398/2000 DES-PT-20a-LTLFireability-11 57805137 m, 320629 m/sec, 73606957 t fired, . in use: 398 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 409/2000 DES-PT-20a-LTLFireability-11 59351886 m, 309349 m/sec, 75574158 t fired, . in use: 409 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 419/2000 DES-PT-20a-LTLFireability-11 60859963 m, 301615 m/sec, 77525096 t fired, . in use: 419 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 429/2000 DES-PT-20a-LTLFireability-11 62360705 m, 300148 m/sec, 79483504 t fired, . in use: 429 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 441/2000 DES-PT-20a-LTLFireability-11 64139178 m, 355694 m/sec, 81690475 t fired, . in use: 441 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 453/2000 DES-PT-20a-LTLFireability-11 65915463 m, 355257 m/sec, 83912550 t fired, . in use: 453 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 465/2000 DES-PT-20a-LTLFireability-11 67637920 m, 344491 m/sec, 86087621 t fired, . in use: 465 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 477/2000 DES-PT-20a-LTLFireability-11 69336394 m, 339694 m/sec, 88219812 t fired, . in use: 477 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 488/2000 DES-PT-20a-LTLFireability-11 70993565 m, 331434 m/sec, 90296313 t fired, . in use: 488 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 499/2000 DES-PT-20a-LTLFireability-11 72568600 m, 315007 m/sec, 92301940 t fired, . in use: 499 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 509/2000 DES-PT-20a-LTLFireability-11 74129250 m, 312130 m/sec, 94308949 t fired, . in use: 509 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 520/2000 DES-PT-20a-LTLFireability-11 75807386 m, 335627 m/sec, 96460184 t fired, . in use: 520 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 532/2000 DES-PT-20a-LTLFireability-11 77501834 m, 338889 m/sec, 98659697 t fired, . in use: 532 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 543/2000 DES-PT-20a-LTLFireability-11 79219122 m, 343457 m/sec, 100906684 t fired, . in use: 543 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 554/2000 DES-PT-20a-LTLFireability-11 80771402 m, 310456 m/sec, 102921276 t fired, . in use: 554 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 564/2000 DES-PT-20a-LTLFireability-11 82346135 m, 314946 m/sec, 104944646 t fired, . in use: 564 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 575/2000 DES-PT-20a-LTLFireability-11 84017348 m, 334242 m/sec, 107042969 t fired, . in use: 575 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 587/2000 DES-PT-20a-LTLFireability-11 85677250 m, 331980 m/sec, 109133866 t fired, . in use: 587 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 598/2000 DES-PT-20a-LTLFireability-11 87278432 m, 320236 m/sec, 111164118 t fired, . in use: 598 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 609/2000 DES-PT-20a-LTLFireability-11 88862736 m, 316860 m/sec, 113177620 t fired, . in use: 609 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 620/2000 DES-PT-20a-LTLFireability-11 90431174 m, 313687 m/sec, 115168965 t fired, . in use: 620 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 630/2000 DES-PT-20a-LTLFireability-11 91979464 m, 309658 m/sec, 117134592 t fired, . in use: 630 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 640/2000 DES-PT-20a-LTLFireability-11 93479803 m, 300067 m/sec, 119040373 t fired, . in use: 640 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 650/2000 DES-PT-20a-LTLFireability-11 94962262 m, 296491 m/sec, 120944692 t fired, . in use: 650 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 661/2000 DES-PT-20a-LTLFireability-11 96465005 m, 300548 m/sec, 122873850 t fired, . in use: 661 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 670/2000 DES-PT-20a-LTLFireability-11 97950940 m, 297187 m/sec, 124807686 t fired, . in use: 670 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 681/2000 DES-PT-20a-LTLFireability-11 99463520 m, 302516 m/sec, 126752530 t fired, . in use: 681 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 692/2000 DES-PT-20a-LTLFireability-11 101115497 m, 330395 m/sec, 128849556 t fired, . in use: 692 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 703/2000 DES-PT-20a-LTLFireability-11 102802143 m, 337329 m/sec, 130956522 t fired, . in use: 703 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 715/2000 DES-PT-20a-LTLFireability-11 104466954 m, 332962 m/sec, 133037998 t fired, . in use: 715 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 726/2000 DES-PT-20a-LTLFireability-11 106092465 m, 325102 m/sec, 135092003 t fired, . in use: 726 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 737/2000 DES-PT-20a-LTLFireability-11 107684950 m, 318497 m/sec, 137084793 t fired, . in use: 737 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 747/2000 DES-PT-20a-LTLFireability-11 109219289 m, 306867 m/sec, 139025224 t fired, . in use: 747 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 757/2000 DES-PT-20a-LTLFireability-11 110736966 m, 303535 m/sec, 140974294 t fired, . in use: 757 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 768/2000 DES-PT-20a-LTLFireability-11 112315306 m, 315668 m/sec, 142990865 t fired, . in use: 768 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 778/2000 DES-PT-20a-LTLFireability-11 113866563 m, 310251 m/sec, 144972964 t fired, . in use: 778 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 790/2000 DES-PT-20a-LTLFireability-11 115544048 m, 335497 m/sec, 147076465 t fired, . in use: 790 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 801/2000 DES-PT-20a-LTLFireability-11 117192101 m, 329610 m/sec, 149156449 t fired, . in use: 801 VALUE PRODUCED BY[0m LTL true LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL true LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m LTL false LTL model checker[0m CONJ false LTL model checker[0m LTL false LTL model checker[0m CONJ false findpath[0m IDL ACT RUN SUS FIN C/T C/M OBS[0m LTL 0 1 0 0 1 0 0 0 LTL 0 0 1 0 1 0 0 0 MEM PG/PGLIMIT FORMULA STATUS[0m 812/2000 DES-PT-20a-LTLFireability-11 118700908 m, 301761 m/sec, 151072962 t fired, . in use: 812 $BK_TOOL --conf=/home/mcc/BenchKit/bin/myconf --formula=$BK_EXAMINATION.xml $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

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="DES-PT-20a"
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-5568"
echo " Executing tool lola"
echo " Input is DES-PT-20a, 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 r093-tall-171624191400684"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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